Логика. Лекция 5. Проверка истинности сложных суждений. Таблица истинности.

• Простое суждение либо истинно, либо ложно.  

• Сложное суждение зависит от значений входящих в него простых суждений и логического союза.  

• Для определения смысла логических союзов используются таблицы истинности.  

• В языке логики суждений остаётся только форма, а содержание отсутствует.  

• Пример формулы: «П конъюнкция КУ».  

• Каждое простое суждение может быть истинным или ложным.  

• Суждения либо истинны, либо ложны.  

• Возможные сочетания истинностных значений: оба истинны, один истинен, оба ложны.  

• Конъюнкция истинна только когда оба конъюнкта истинны.  

• Пример: «Я пойду на лекцию и схожу в кино».  

• Дизъюнкция истинна, если хотя бы один дизъюнкт истинен.  

• Пример: «Я пойду на лекцию или схожу в кино».  

• Строгая дизъюнкция ложна, если оба дизъюнкта истинны.  

• Строгая дизъюнкция истинна, если значения дизъюнктов разные.  

• Импликация ложна, когда условие истинно, а следствие ложно.  

• Пример: «Если завтра будет хорошая погода, то я пойду гулять».  

• Эквиваленция истинна, когда значения суждений равны.  

• Пример: «Тогда и только тогда, когда человек привлекает к уголовной ответственности, он совершил преступление».  

• Различие между эквиваленцией и строгой дизъюнкцией: эквиваленция истинна при разных значениях суждений, строгая дизъюнкция — при одинаковых.  

• Переход к обсуждению отрицания.  

• Отрицательное суждение «не п» состоит из одного простого суждения «п».  

• На входе таблицы истинности записывается «п», на выходе — «не п».  

• Если «п» истинно, то «не п» ложно, и наоборот.  

• Таблица истинности позволяет решать сложные примеры с несколькими простыми суждениями.  

• Формулы могут содержать несколько союзов и простых суждений.  

• Рассматривается формула: «неку конъюнкция, неп».  

• На входе записываются два простых суждения: «п» и «ку».  

• Количество строк в таблице — четыре.