Формализовать рассуждение на языке ИП ввести необходимые предикаты. Бесплатный доступ к решению задач

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

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

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

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

Решение

Потяни, чтобы посмотреть

Введём предикаты, которые используются в рассуждении. Это предикаты для обозначения свойств «быть разумным философом», «быть женщиной» и «быть циником»:
P(x) – « x – разумный философ»,
C(x) – « x – женщина»,
B(x) - « x – циник».
Формализация рассуждения:
Посылка 1

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу