Упражнение 5: табличным способом установите, какие из следующих формул находятся в отношении противоречия, какие в отношении контрарности, а какие логически эквивалентны

а) р & Øq, б) q & Øp, в) р É q, г) Ø(q É p), д) Øq É Øp

Упражнение 6: Используя приведенные выше опредления, скажите, с каких отношениях будут находиться А и В, если ...

А) А и В – тождественно-истиные формулы?

Б) А и В – тождественно-ложные формулы?

В) А – тождественно-истинная формула, а В – тождественно-ложная?

Г) А – тождественно-ложная формула, а В – собственно выполнимая?

Д) А – тождественно-истинная формула, а В – собственно выполнимая?

Используя знания о совместимости или несовместимости некоторого множества суждений по истинности или ложности, иногда можно достаточно точно установить истинностное значение входящих в них пропозициональных переменных. Например, рассмотрим следующую задачу, построенную в стиле известного логика Р. Смаллиана:

Благородный рыцарь оказался в ловушке у коварного короля. Перед ним коридор, в который выходят три двери. Известно, что за каждой дверью кто-то есть – может быть, принцесса, а может быть – тигр. Король дал рыцарю единственную подсказку: принцесса может оказаться только за той дверью, на которой написана истина, а тигр – только за той, на которой ложь.

Вот какие надписи были на этих дверях:

Дата добавления: 2015-06-30; просмотров: 149; Нарушение авторских прав

Мы поможем в написании ваших работ!