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