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