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

