Математика волшебства (Дипломированный чародей, или Приключения Гарольда Ши, книга 2)   ::   Де Камп Лион

Он сделал глубокий вдох.

-- Если Р равно не-Q, Q включает в себя не-P, что равносильно либо утверждению Р, либо Q, но не обоим одновременно, но если не-Р не является частью не --Q... Войдите, миссис Лэд.

Домохозяйка Ши открыла дверь и заодно открыла было рот, собираясь что-то сказать. Но это "что-то" так и не последовало. С разинутым ртом она уставилась на парочку респектабельных психологов, стоящих бок о бок посреди комнаты в средневековых нарядах с рюкзаками за спиной. Взявшись за руки, в свободных руках они держали какие-то бумажки. Чалмерс зарделся от смущения.

Ши как ни в чем не бывало поклонился.

-- Мы проводим один эксперимент, миссис Лэд. Некоторое время нас, скорее всего, не будет. Если мистер Байярд станет нас спрашивать, впустите его и передайте, что он может просмотреть бумаги в правом верхнем ящике. И отправьте, пожалуйста, вот это письмо. Спасибо.

Чалмерсу он объяснил:

-- Это Герт. Пишу, чтоб не тратила зря деньги, посылая на наши розыски Джонсона.

-- Но, мистер Ши... -- начала было домохозяйка.

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