Проверить являются ли формулы логики предикатов равносильными. Бесплатный доступ к решению задач

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

Проверить являются ли формулы логики предикатов равносильными .pdf

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

Условие

Проверить, являются ли формулы логики предикатов равносильными: F1=∀xQx→∃xPx&∃xQx, F2=∃xQx; F1=∃xPx∨∃xPx&∃xQx, F2=∃xPx.

Решение

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

Заметим, что ∀xQx≡∃xQx=F2, т.е. F1=F2→∃xPx&F2. Если F2 — истинен, то F2 — ложен и F1 будет истинен как импликация у которой посылка ложная. Если F2 — ложен, то F2 — истинен и значение F1 будет зависеть от значения ∃xPx, который может быть как истинным так и ложным . Таким образом, предикаты F1 и F2 не являются равносильными.
2) Заметим, что F1=F2∨F2&∃xQx

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

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

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