Легко ли быть рыцарем? Нет, не средневековым воином в доспехах, а всего лишь абсолютно честным жителем острова рыцарей и лжецов. Кто думает, что легко, пусть попробует честно ответить на такие вопросы:
1. Какого цвета небо?
2. Ты сильный?
3. Верно ли, что любое четное число, не меньшее 4, можно представить в виде суммы двух простых чисел?
Первый вопрос трудный, потому что небо бывает разным. Кто думает, что небо голубое, пусть посмотрит на него во время дождя, на закате или ночью. Так что в реальной жизни на такой вопрос однозначно ответить нельзя. Но в математике принято упрощать жизнь. Например, настоящий пешеход нуждается в отдыхе, а в задаче на движение может идти много часов с постоянной скоростью. Поэтому и цвет неба можно считать постоянным. Давайте договоримся считать его голубым.
Второй вопрос трудный, потому что всякая сила относительна. Если сильный тот, кто может 5 раз подтянуться на турнике, то да. А если сильный тот, кто может поднять 50-килограммовую штангу, то нет. Чтобы рыцарь мог ответить на подобный вопрос, надо сначала четко сформулировать, какой человек считается сильным.
Третий вопрос поставлен абсолютно четко (в отличие от вопроса про силу), и на него есть однозначный ответ «да» или «нет» (в отличие от вопроса про небо). Только вот найти этот ответ математики безуспешно пытаются уже третий век. Вопрос этот называется проблемой Гольдбаха. Для ее решения простых договоренностей и объяснений явно недостаточно.
Чтобы избежать недоразумений, мы в этой книге постараемся не задавать рыцарю вопросов, на которые он не может ответить. И будем ставить вопрос об истинности только таких утверждений, про которые можно ясно сказать, истинны они или ложны. Такие утверждения в логике называются высказываниями.
Задача 1.1. Являются ли высказываниями следующие предложения?
1. Семеро одного не ждут.
2. У кошки четыре ноги.
3. 1 января 2001 года был вторник.
4. Любое четное число, не меньшее 4, можно представить в виде суммы двух простых чисел
Это утверждение истинно.
Решение. 1. Нет. Не зная, о каких семерых, о каком одном и о каком моменте идет речь, определить истинность этого утверждения нельзя.
2. Да. Это истинное высказывание. Возможное замечание о несчастных трехногих кошках – излишняя придирка.
3. Да, это высказывание. Желающие определить его истинность могут обратиться к календарю или потратить несколько минут на расчеты. Автор готов сэкономить вам эти минуты: высказывание ложное, 1 января 2001 года был понедельник.
4. Да, это высказывание. Желающие определить его истинность могут потратить годы на изучение теории чисел. Успех не гарантирован. Автор не в силах вам помочь.
5. Нет. Про это утверждение нельзя ясно