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

Импликация – логическая операция, соответствующая логической связке «ЕСЛИ, ТО». Обозначается символами →, É, а также словом «imp». Из таблицы истинности видно, что выражение a → b равно 1 во всех случаях, кроме a = 1 и b = 0. На языке логики импликация читается так: из ложного высказывания может следовать что угодно, но из истинного высказывания обязательно должна следовать истина.

Пример. «Если сейчас идёт дождь, то на небе имеются тучи». Данное высказывание истинно при: 1) дождя нет и на небе нет туч; 2) дождя нет и на небе есть тучи (согласитесь, что такое вполне бывает – присутствие туч на небе ещё не значит, что обязательно есть дождь); 3) дождь есть и тучи есть. Однако, если вдруг получилось так, что дождь есть, а на небе туч нет, тогда заданное высказывание не соответствует действительности, то есть тогда оно ложно.

Дата добавления: 2014-01-07