Высказываний

Импликация высказываний

Пусть даны высказывания А и В.

Определение: Импликацией высказываний А и,В назовём высказывание

«если А, … то В» (), которое ложно тогда и только тогда, когда А – истинно, В – ложно.

Операцию отыскания импликаций двух высказываний также называют импликацией.

Предложение «если А,...., то В» можно читать иначе: А импликация В.

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

А	В
и л и л	л и и л	л и и и

Пусть дана . Тогда А – это условие данной импликации, а В – заключение. Иногда условие называют посылкой.

(1) – назовем прямой импликацией;

(2) – обратная к (1) импликация;

(3) – противоположная к прямой импликация. (Читаем: если не А, то не В);

(4) – противоположная к обратной импликация (или обратная к противоположной). (Читаем: если не В, то не А).

Дата добавления: 2014-01-11; Просмотров: 700; Нарушение авторских прав?; Мы поможем в написании вашей работы!