Какие методы используются для определения истинности сложных логических суждений?

Для определения истинности сложных логических суждений используют, например, табличный способ. spravochnick.ru

Суть метода: в первых столбцах таблицы записывают все возможные комбинации истинности для простых суждений. spravochnick.ru Затем определяют истинность сложных суждений, входящих в основное сложное суждение как компоненты (начиная от простых к более сложным в соответствии с порядком выполнения логических операций). spravochnick.ru

Также для записи формы сложного суждения применяют язык логики высказываний (ЯЛВ). stepik.org Он включает выражения трёх типов: знаки для обозначения простых суждений в составе сложных, знаки логических союзов и вспомогательные знаки. stepik.org

Кроме того, для определения истинности сложных суждений используют законы логики, например:

• Закон противоречия (непротиворечия). elib.osu.ru Два несовместимых друг с другом суждения не могут быть одновременно истинными, по крайней мере одно из них необходимо ложно. elib.osu.ru
• Закон исключённого третьего. elib.osu.ru Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано. elib.osu.ru
• Закон достаточного основания. elib.osu.ru Всякая мысль истинна или ложна не сама по себе, а в силу достаточного основания. elib.osu.ru

Пользователь

Время добавления