Страница:
44 из 257
Это означает, что для любого обитателя Х справедливо следующее утверждение: если Билл доверяет X, то Артур доверяет по крайней мере одному из наставников X, а если Билл не доверяет X, тогда Артур не доверяет ни одному из наставников X. Поскольку пользоваться доверием Артура означает то же самое, что и быть пациентом (согласно условию 5), то мы можем переформулировать последнее утверждение таким образом. Для любого обитателя лечебницы X справедливо следующее: если Билл доверяет X, то по крайней мере один из наставников X является пациентом; если же Билл не доверяет X, то тогда ни один из наставников X пациентом не является. Далее, поскольку это утверждение справедливо для любого обитателя X, то, значит, оно справедливо также и в случае, когда этим X является сам Билл. Итак, нам известны следующие факты:
1) если Билл доверяет самому себе, то у него есть по крайней мере один наставник, который является пациентом;
2) если Билл не доверяет самому себе, тогда ни один из наставников Билла не является пациентом.
Понятно, что при этом существуют две возможности: либо Билл доверяет самому себе, либо этого не происходит. Разберем теперь, что же получается в каждом из этих случаев.
Случай 1. Билл доверяет самому себе.
Тогда у Билла имеется по крайней мере один наставник, назовем его Питер, который должен быть пациентом. Поскольку Питер является наставником Билла, то Питер уверен, что Билл доверяет самому себе (согласно условию 3).
|< Пред. 42 43 44 45 46 След. >|