Логическое следование или импликация

Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как случая когда из истины следует ложь. Таким образом, данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием. Чаще всего импликация обозначается выражением .

Таблица истинности для операции логического следования или импликации, примет вид: