Логотип Автор24реферат
Задать вопрос
%
уникальность
не проверялась
Решение задач на тему:

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

уникальность
не проверялась
Аа
440 символов
Категория
Логика
Решение задач
Доказать что формула является тождественно истинной .pdf

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

Условие

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

Решение

Потяни, чтобы посмотреть
Докажем методом от противного. Пусть ∀xPx→∃xPx (а это высказывание, т.к. переменная связана кванторами) — ложь . Тогда, по определению импликации ∀xPx — истина, а ∃xPx — ложь. Но тогда Px одновременно является и тождественно истинным и тождественно ложным предикатом — противоречие
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше решений задач по логике:
Все Решенные задачи по логике
Закажи решение задач

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.