В некотором университете все математики делятся на два типа:
1. Те, кто делают то, что нравится им самим, но не нравится декану
математического факультета.
2. Те, кто делают то, что нравится декану математического факультета,
но не нравится им самим.
Обнаружив это, комиссия, проверяющая университет, отстранила декана
математического факультета от должности. Сформулируйте в трех словах
логический вывод, опираясь на который комиссия мотивировала свое
решение.
Ответ: "Декан не математик".
Зачет: "Он не математик".
Комментарий:
Декан не может делать то, что нравится ему, но не нравится декану, равно
как и наоборот. Следовательно, он не математик, поскольку в вопросе
имеется квантор: "все математики".