Импликация (от лат. implico — тесно связываю), одна из логических операций; в естественном языке И. соответствует связка «если..., то».