d9e5a92d

ЕСТЬ ЛИ СОКРОВИЩА НА ЭТОМ ОСТРОВЕ?



ЕСТЬ ЛИ СОКРОВИЩА НА ЭТОМ ОСТРОВЕ?

Задачи двух предыдущих групп были связаны в основном с условными высказываниями, то есть с высказываниями вида "Если P истинно, то Q. Задачи этой группы связаны главным образом с высказываниями вида "P истинно в том и только в том случае, если Q истинно". Оно означает, что если P истинно, то Q истинно, и если Q истинно, то P истинно. Иначе говоря, если одно из двух высказываний P, Q истинно, то другое также истинно. Оно означает также, что высказывания P и Q либо оба истинны, либо оба ложны. Сложное высказывание "P в том и только в том случае, если Q" принято обозначать P <=> Q".

Таблица истинности для P <=> Q имеет следующий вид:

  P Q P <=> Q
1 И И И
2 И Л Л
3 Л И Л
4 Л Л И

   Высказывание "P в том и только в том случае, если Q" иногда читают как "P эквивалентно Q" или как "P и Q эквивалентны". Отметим два следующих факта:
Факт 1. Любое высказывание, эквивалентное истинному высказыванию, истинно.
Факт 2. Любое высказывание, эквивалентное ложному высказыванию, ложно.



Содержание раздела