1. Главная
  2. Библиотека
  3. Информатика
  4. Формализовать рассуждение на языке ИП: ввести необходим...
Решение задачи на тему

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

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

Условие:

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

Все люди или добры, или злы. Существуют скупые люди. Следовательно, существуют или скупые или злые люди.

Решение:

Прежде всего, введём предикаты, которые используются в рассуждении.

Запишем предложения в формализованном виде.

Выбери предмет