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

Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если . . ., то . . .».

Например: Если число делится на 9, то оно делится на 3.

Обозначение импликации: А В; А В.

Пусть даны высказывания:

А = На улице дождь.

В = Асфальт мокрый

Таблица истинности: Пояснения:

А	В	А В

Из таблицы истинности следует, что импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное.