Как же называется эта книга? (Смаллиан) - страница 28


48. Из первого высказывания Льва следует, что Алиса встретила его в понедельник или в четверг. Из второго высказывания следует, что день встречи не четверг. Следовательно, встреча произошла в понедельник.


49. Такие утверждения Лев не может высказать ни в один из дней недели. Первое утверждение он мог бы высказать только в понедельник и в четверг, второе – только в среду и в воскресенье. Следовательно, оба утверждения он не мог бы высказать ни в один из дней недели.


50. Ситуация в этой задаче весьма отлична от той, с которой мы встретились в предыдущей задаче. На этом примере отчетливо видно различие между двумя отдельными высказываниями и одним сложным высказыванием – их конъюнкцией. Действительно, если заданы любые два высказывания X, Y, то из истинности одного сложного высказывания (X и Y) следует, что истинны оба высказывания X, Y. Если же конъюнкция (X и Y) ложна, то ложно по крайней мере одно из высказываний X, Y.

После этих предварительных замечаний перейдем к решению задачи. Единственный день недели, когда высказывания Льва «Я лгал вчера» и «Я буду лгать завтра» могли бы быть истинными, – вторник (поскольку он и только он попадает между двумя днями, когда Лев лжет). Следовательно, день, когда Лев высказал свое утверждение, не мог быть вторником, так как по вторникам его утверждение истинно, а Лев не высказывает истинных утверждений по вторникам. А раз это было не во вторник, то высказывание Льва ложно, то есть в тот день Лев лжет. Таким образом, приведенное в задаче сложное высказывание Лев мог произнести либо в понедельник, либо в среду.


51. Если первое высказывание истинно, то первого братца зовут Траляля. Тогда второго братца зовут Труляля, и второе высказывание также истинно. Если первое высказывание ложно, то первого братца зовут Труляля, второго – Траляля, и, следовательно, второе высказывание также ложно. Таким образом, либо оба высказывания истинны, либо оба высказывания ложны. С другой стороны, оба высказывания не могут быть ложными, так как Траляля и Труляля никогда не лгут в один и тот же день. Следовательно, оба высказывания должны быть истинными. Значит, первого братца зовут Траляля, а второго – Труляля. Алиса встретила их в воскресенье.


52. Несмотря на большое внешнее сходство, эта задача весьма отличается от предыдущей. Второе высказывание заведомо истинно. Так как встреча происходила на другой день после встречи, описанной в предыдущей задаче, то она пришлась на будний день. Следовательно, оба высказывания не могут быть истинными, из чего мы заключаем, что второе высказывание должно быть ложным. Таким образом, первого братца зовут Труляля, а второго – Траляля.