Условие:
Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение.
Ни один преподаватель не является невеждой. Некоторые невежды попадают в институт. Следовательно, некоторые люди, попадающие в институт, не являются преподавателями.