Боб хмурился, глядя на ксерокопию, которую, видимо, получил на семинаре. Он принялся меня допрашивать:
— Ты когда-нибудь слыхала про правила вывода логики второго порядка?
— Нет.
— Закон исключенного третьего?
— Это звучит как название оперетты Гилберта и Салливана.
— Это значит «нет»?
— Да.
Он с сомнением посмотрел на меня:
— Одноместные предикаты?
— Нет.
— Гипотетические силлогизмы?
— Не то чтобы.
— Не то чтобы? — повторил Боб. — Что это должно означать?
— Ну хорошо, тогда нет.
— Закон идемпотентности?
— Ну…
— Да или нет?
— Нет, — раздраженно сказала я, — хватит уже, скучно.
— Не может быть. Сведение к абсурду?
— Каждый день!
Он помахал у меня перед лицом пачкой задач с прошлых экзаменов и сказал:
— Слушай, какая фигня, ты просто не поверишь.
Слово «фигня» у Боба служило универсальным обозначением чего угодно. Он принялся громовым голосом зачитывать мне экзаменационную задачу:
Запишите следующие предложения на языке логики предикатов.
А) Купар расположен севернее Эдинбурга.
Б) Данди расположен севернее Эдинбурга.
В) Купар не расположен севернее Данди.
Г) Купар находится между Эдинбургом и Данди.
Д) Меж Эдинбургом и Данди есть города.
Е) Если один город расположен южнее другого, второй расположен севернее первого.
Ж) Если один город находится между двумя другими и расположен севернее первого, то он расположен южнее второго.
С(х, у) — Х расположен севернее У; М (х, у, z) — Х расположен между У и Z; К — Купар, Э — Эдинбург, Д — Данди. Универсум рассуждения — города. Покажите с помощью формального вывода, что из А, Г, Е и Ж, вместе взятых, следует Б. Возможно, вам придется ввести дополнительный постулат, выражающий некоторое свойство использованного выше предиката «расположен севернее».
Боб мотал головой с таким же недоверием, какое охватило его, когда он узнал про рыбоводческие фермы.
— Ух ты, кто вообще всю эту фигню выдумывает? Что они курят?
Мы, конечно, уже вышли из лифта — чтобы проехать два этажа вниз, достаточно одного предложения. Потом нам понадобился довольно длинный параграф, чтобы добраться до помещения студсовета, где из музыкального автомата без устали гремела песня «Американский пирог». Я стала потчевать Боба пирогом (шотландским) и фасолью в томате, пытаясь подбодрить его. За соседним столом спала Терри. На ней был длинный плащ и черные сапожки на каблучке, с мерлушковыми отворотами, а в бесчувственной руке она сжимала побитый молью черный кружевной зонтик. Она выглядела как типичная жертва Джека-потрошителя. Я попросила Боба передать ей, что мы встречаемся в два часа в Башне, и он остался играть в настольный футбол, а я пошла на заседание группы по борьбе за раскрепощение женщин.