Таблица истинности импликации (логическое ЕСЛИ-ТО)

Импликация (по-латински implicatio — связь)

Импликацией двух высказываний a и b («ЕСЛИ-ТО») называется новое высказывание, которое ложно тогда, когда a (предпосылка) - истинно, а b (следствие) - ложно и истинно во всех остальных случаях.

Импликация записывается как посылка - следствие.

Знаком импликации является →.

Значения функции импликации представлены в таблице:

Синонимы импликации:

• Когда А, то B
• В в том случае, если А
• При А В
• Из А следует В
• В случае А произойдет В
• В, так как А
• В потому, что А
• Без А не будет В
• В невозможно в отсутствие А
• В необходимое условие для А
• А достаточное условие для В.

К логическим операциям так же относятся:

Унарные:

• Отрицание

Бинарные

• Дизъюнкция
• Конъюнкция
• Исключающее ИЛИ
• Стрелка Пирса
• Штрих Шеффера
• Импликация
• Обратная импликация
• Эквиваленция

Чтобы построить таблицу истинности онлайн по заданной формуле или вектору вы можете воспользоваться нашим сервисом, который кроме того так же вычисляет СКНФ, СДНФ, строит полином Жегалкина. Результат работы можно скачать в формате rtf, который открывается любым текстовым редактором (MS Word, Open Office Write и т.д.)