Занятие на 1-м курсе ОТиПЛа (отделение теоретической и прикладной лингвистики, филфак МГУ, там преподают наши матлогики).
Успенский: "Верна ли формула ∃х [ x = 3 → x = 7 ] ?"
Студент: "Да".
Успенский: "Если формула с квантором существования верна, для доказательства нужно предъявить значение x, удовлетворяющее подформуле под квантором".
Студент: "Например, x = 1. Импликация верна по причине ложности посылки".
Пентус: "Я, кажется, догадываюсь, почему именно 1..."
Успенский: "???"
Пентус: "Тройка - семёрка - туз. Туз - это как раз единица".
И, в качестве продолжения.
Успенский: "Хорошо, а давайте попробуем какой-нибудь другой икс... Например, 12*."
_______________________________________
*12, разумеется, соответствует даме: 2...10, 11 = валет, 12 = дама, 13 = король, 1 = туз...