И. В. Раскина Логика для всех: от пиратов до мудрецов Издание третье, стереотипное
жүктеу/скачать 1.3 Mb. Pdf көрінісі
|
- Бұл бет үшін навигация:
- Задача 4.2.
- Комментарий.
| Задача 4.1. Подберите подходящую строку в таблице
истинности для высказываний каждого из 4 пиратов. Ответ: Высказыванию Арчи соответствует четвертая строка, Бена — вторая, Вилли — третья, Глена — первая. Задача 4.2. Какие из следующих высказываний истин- ны, а какие ложны? 1) Утка умеет плавать и летать. 2) Курица умеет плавать и летать. 3) Камбала умеет плавать и летать. 34 Решение: 1) Высказывание истинно, так как составле- но с помощью союза «и» из двух истинных высказываний: «Утка умеет плавать» и «Утка умеет летать». Оно соответ- ствует первой строке таблицы истинности. 2) Высказывание ложно, так как составлено с помощью союза «и» из двух ложных высказываний: «Курица уме- ет плавать» и «Курица умеет летать». Оно соответствует четвертой строке таблицы истинности. 3) Высказывание ложно, так как составлено с помо- щью союза «и» из истинного высказывания «Камбала уме- ет плавать» и ложного «Камбала умеет летать». Оно соот- ветствует второй строке таблицы истинности. Комментарий. Изобразим ситуацию с помощью кру- гов Эйлера (см. рис. 5). Поместим в первый круг уме- ющих плавать, во второй — умеющих летать. Высказы- вание «ffумеет плавать и летать» истинно для существ, находящихся в пересечении кругов, и ложно для всех остальных. òà þ å ò Ë плавают летают Рис. 5 Но не стоит покидать пиратов надолго. Пора вернуть- ся на остров и посмотреть, чем они заняты. Клад пока не найден. Трое продолжают копать. И только самый силь- ный из них, Арчи, задумчиво сидит под пальмой. Он ко- пал гораздо быстрее остальных и уже успел убедиться в своей ошибке. Теперь он знает, что высказывание «Клад 35 находится в 30 футах к востоку и в 120 футах к северу от пальмы» ложно. Это означает, что ложно хотя бы одно из двух составляющих его простых высказываний. То есть клад находится от пальмы не в 30 футах к востоку или не в 120 футах к северу. жүктеу/скачать 1.3 Mb. Достарыңызбен бөлісу:
|