Как же называется эта книга   ::   Смаллиан Рэймонд

Страница: 53 из 54

Следовательно, они оба могли утверждать, что лгали накануне, только в четверг.

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

Следовательно, встреча произошла в понедельник.

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

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

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

|< Пред. 50 51 52 53 54 След. >|

Java книги

Контакты: [email protected]