Алиса в стране смекалки   ::   Смаллиан Рэймонд

- И какие у вас доказательства, что она правильна?

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

Утверждение 1. Если в какой-то момент времени некто считает себя бодрствующим, то он должен принадлежать к типу A.

Утверждение 2. Если в какой-то момент времени некто считает себя принадлежащим к типу A, то он должен в это время бодрствовать.

Затем к удовлетворению Алисы Черный Король доказал оба утверждения (по крайней мере Алисе не удалось обнаружить ошибки в его доказательствах).

88. Всего лишь один вопрос Действительно ли следуют из теории Черного Короля утверждения 1 и 2?

- Теперь, когда ты знаешь доказательства утверждений 1 и 2, я могу наконец доказать тебе, что сейчас я бодрствую.

Доказательства Черного Короля - Я докажу три пункта, - сказал Король. - Вопервых, что я принадлежу к типу A. Во-вторых, что я бодрствую. В-третьих, что моя теория правильна. Прежде всего ты должна принять за исходную посылку, что я убежден в истинности всех трех пунктов. В этом ты мне не откажешь?

- Разумеется, не откажу, - согласилась Алиса. - Я ни на минуту не сомневаюсь, что вы убеждены в истинности всех трех пунктов. Неясно лишь, истинны ли они на самом деле!

- Из того, что я убежден в их истинности, - ответил Черный Король, - -- следует, что они должны быть истинны.

- Как? - воскликнула Алиса в изумлении.