Импликация – логическая операция, соединяющая два высказывания при помощи связки «если…то» в сложное высказывание. Обозначение: \(A\to B,A\supset B\). Чтение: «если A, то В», «А влечет В», «из А следует В», «А имплицирует В».

Для операции импликации справедливо утверждение, что из лжи может следовать все что угодно, а из истины – только истина.

Таблица истинности операции импликации