Если импликация форма высказывания ложна то
Обновлено: 21.11.2024
Рассмотрим составное высказывание, которое образуется из двух элементарных при помощи логической связки «если …, то …».
Например, пусть даны высказывания А: «Вчера было воскресенье» и В: «Я не был на работе». Тогда составное высказывание «Если вчера было воскресенье, то я не был на работе» имеет структуру «Если А, то В» и называется импликацией.
Пусть даны высказывания А и В.
Импликацией высказываний А и В называется высказывание, которое ложно, когда высказывание А истинно, а высказывание В ложно.
Импликация высказываний А и В обозначается: А В. Читаем: «Импликация высказываний А и В» или «Если А, то В» (Иногда читают и по-другому: «Из А следует В», «В следует из А»).
Высказывание А, входящее в импликацию А В, называют условием импликации, а высказывание В – ее заключением.
Название «импликация» произошло от латинского слова «implico», что значит «тесно связываю».
Определение импликации высказываний А и В дано в следующей таблице истинности.
А | В | АВ |
и | и | и |
и | л | л |
л | и | и |
л | л | и |
1. Составное высказывание «Если число 16 кратно 4, то 16 кратно 2» истинно, т.к. условие импликации «Число 16 кратно 4» истинно и заключение «Число 16 кратно 2» - истинно.
2. Составное высказывание «Если число 16 кратно 4, то 16 кратно 3» ложно, т.к. условие импликации «Число 16 кратно 4» истинно, а заключение «Число 16 кратно 3» - ложно.
Операция импликации высказываний А и В может быть выражена через операции отрицания и дизъюнкции, т.е. имеет место следующий закон, называемый законом исключения импликации:
Читаем: «Для любых высказываний А и В импликация высказываний А и В равносильна дизъюнкции отрицания высказывания А и высказывания В».
Важное значение в дальнейшем будет иметь ещё один закон, называемый законом контрапозиции:
( A,B) (A B=`B `А).
Читаем: «Для любых высказываний А и В импликация высказываний А и В равносильна импликации отрицания высказывания В и отрицания высказывания А».
Доказать этот закон также можно при помощи таблицы истинности.
А | В | AB | `В | `А | `B `А |
и | и | и | л | л | и |
и | л | л | и | л | л |
л | и | и | л | и | и |
л | л | и | и | и | и |
Таким образом, составные высказывания A B и `B `А равносильны и равенство A B=`B `А верно.
Этот закон позволяет для любой импликации образовывать равносильную ей импликацию.
Например, для импликации «Если сумма цифр числа 111 делится на 3, то число 111 делится на 3» образуем импликацию «Если число 111 не делится на 3, то сумма цифр числа 111 не делится 3», причем обе импликации будут равносильными, т.к. обе они истинны. Первая импликация истинна, т.к. у нее условие и заключение истинны; вторая же импликация истинна, т.к. у нее условие и заключение ложны, а в этом случае по определению импликация тоже истинна.
Таким образом, отрицание импликации высказываний А и В равносильно конъюнкции высказывания А и отрицания высказывания В.
Читайте также: