Принцесса или тигр   ::   Смаллиан Рэймонд

Страница: 70 из 257



В каждом из этих четырех случаев мы можем однозначно решить, является ли В личностью, заслуживающей доверия, или не является. Так в случае 1 В обязательно должен заслуживать доверия, причем независимо от того, являются ли утверждения, высказанные А, истинными или ложными. В самом деле, если оба они истинны, то В — нормальный человек и, конечно же, заслуживает доверия; если же оба этих высказывания ложны, то В—лишившийся рассудка упырь, и значит, опять-таки заслуживает доверия. С помощью совершенно аналогичных рассуждений можно показать, что в случае 4 В также должен заслуживать доверия. С другой стороны, в случаях 2 и 3 личность В непременно должна оказаться не заслуживающей доверия. Таким образом, из утверждений, высказанных А, мы всегда можем установить “надежность” личности В, то есть заслуживает она доверия или нет. Точно так же по двум высказываниям, сделанным В, мы в свою очередь вполне можем заключить, заслуживает ли доверия А. Теперь, уже зная «надежность» А и В, можно установить, какие же из заданных четырех высказываний являются истинными, а какие — ложными. Тем самым наша задача решается однозначно.

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

|< Пред. 68 69 70 71 72 След. >|

Java книги

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