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

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

— Вы — Джон? — спросил судья одного из близнецов.

— Да, я Джон, — последовал ответ.

— А вы — Джон? — спросил судья второго брата.

Второй близнец ему ответил вполне определенно (либо «да», либо «нет»), и тут судья сразу догадался, кто из них Джон.

Был Джон первым или вторым из близнецов?

2. Трансильванская метаголоволомка.

Как мы уже знаем из гл. 4, все жители Трансильвании делятся на 4 типа:

1) люди в здравом уме;

2) люди, лишившиеся рассудка;

3) упыри, находящиеся в здравом уме;

4) упыри, лишившиеся рассудка.

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

Так вот однажды три логика делились своими впечатлениями о поездках в Трансильванию, которые им пришлось в разное время совершить.

— Когда я там был, — сказал первый логик, — я встретил одного трансильванца, которого звали Айк. Я спросил его, является ли он человеком в здравом уме.