и одновременно оказаться истинными (вдоль дороги может находиться сколько угодно пляжей).
А может ли рыцарь так возразить лжецу, чтобы не было никаких сомнений в его правдивости? Может. Например, если лжец говорит: «В двух километрах отсюда есть пляж», достаточно сказать: «Неверно, что в двух километрах отсюда есть пляж». Или выразить ту же мысль короче: «В двух километрах отсюда нет пляжа». Никаких сомнений не возникнет: либо пляж есть, либо его нет. Из двух высказываний:
1) в двух километрах отсюда есть пляж;
2) в двух километрах отсюда нет пляжа одно обязательно истинно, а второе ложно.
Подведем итог:
• К каждому высказыванию существует противоположное. Для его построения перед любым высказыванием можно добавить слова «Неверно, что…». Есть и другие способы, о них поговорим на этом и следующих занятиях.
• Высказывание, противоположное данному, называют его отрицанием.
• Из двух противоположных высказываний всегда одно является истинным, а другое ложным. Другими словами, всегда истинно либо само высказывание, либо его отрицание (но не то и другое одновременно).
Последнее предложение называется законом исключенного третьего. Его часто произносят в виде афоризма «третьего не дано».
Задача 1.2. Являются ли противоположными высказывания:
1) «Вчера светило солнце» и «Вчера шел дождь»;
2) «Я умею прыгать через лужи» и «Я не умею прыгать через лужи»?
Решение. 1) Нет. Возможно, вчера было пасмурно, но без осадков (или шел снег). С другой стороны, в один и тот же день вполне мог идти дождь и светить солнце.
2) Да. Можно либо уметь что-либо делать, либо не уметь.
Задача 1.3. Постройте отрицания к высказываниям, не пользуясь оборотом «Неверно, что…»:
1) Я встретил Вас.
2) Трудно быть богом.
Решение. 1) Построить отрицание помогает частица «не». Получается высказывание «Я не встретил Вас», противоположное исходному. Подумайте, почему высказывания «Не я встретил Вас» и «Я встретил не Вас» отрицаниями не являются.
2) Во втором лучше слово «трудно» заменить антонимом, получится, что «Богом быть легко».
Задача 1.4*. Британские ученые нашли древнюю рукопись, содержащую всего два утверждения:
1) Оба утверждения этой рукописи ложны.
2) Земля имеет форму чемодана.
Какой вывод можно сделать из этой рукописи?
Обсуждение. Пусть первое утверждение истинно. Тогда оно ложно. Противоречие. Значит, первое утверждение ложно, то есть хотя бы одно из утверждений рукописи истинно. Но в ложности первого мы уже убедились. Следовательно, истинно второе: британские ученые доказали, что Земля имеет форму чемодана.
Решение. Разумеется, «доказательство» содержит ошибку. Но какую? Рукописи не существует?
