Без заголовка

Логика это круто! У нас в универе был один час занятий посвященный формулировке на языке логики предикатов первого порядка всяких выражений подобных упоминаемым Непейводой. Это был самый полезный и запомнившийся мне час учебы в универе :).