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

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

Доказать что формула является тождественно истинной .pdf

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

Условие

Доказать, что формула является тождественно истинной: F=∀xPx→∃xPx.

Решение

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

Докажем методом от противного. Пусть ∀xPx→∃xPx (а это высказывание, т.к. переменная связана кванторами) — ложь . Тогда, по определению импликации ∀xPx — истина, а ∃xPx — ложь. Но тогда Px одновременно является и тождественно истинным и тождественно ложным предикатом — противоречие

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

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

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