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

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

Это означает, что для любого обитателя Х справедливо следующее утверждение: если Билл доверяет X, то Артур доверяет по крайней мере одному из наставников X, а если Билл не доверяет X, тогда Артур не доверяет ни одному из наставников X. Поскольку пользоваться доверием Артура означает то же самое, что и быть пациентом (согласно условию 5), то мы можем переформулировать последнее утверждение таким образом. Для любого обитателя лечебницы X справедливо следующее: если Билл доверяет X, то по крайней мере один из наставников X является пациентом; если же Билл не доверяет X, то тогда ни один из наставников X пациентом не является. Далее, поскольку это утверждение справедливо для любого обитателя X, то, значит, оно справедливо также и в случае, когда этим X является сам Билл. Итак, нам известны следующие факты:

1) если Билл доверяет самому себе, то у него есть по крайней мере один наставник, который является пациентом;

2) если Билл не доверяет самому себе, тогда ни один из наставников Билла не является пациентом.

Понятно, что при этом существуют две возможности: либо Билл доверяет самому себе, либо этого не происходит. Разберем теперь, что же получается в каждом из этих случаев.

Случай 1. Билл доверяет самому себе.

Тогда у Билла имеется по крайней мере один наставник, назовем его Питер, который должен быть пациентом. Поскольку Питер является наставником Билла, то Питер уверен, что Билл доверяет самому себе (согласно условию 3).

|< Пред. 42 43 44 45 46 След. >|

Java книги

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