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

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

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

Условие:

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

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

Решение:

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

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

Не нашел нужную задачу?

Воспользуйся поиском

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