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

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

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

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

Условие

Доказать, что формула является тождественно ложной: F=∃x∃yFx→Fy&Fx→Fy&Fx.

Решение

Потяни, чтобы посмотреть
Докажем методом от противного. Пусть F — истинное высказывание (как замкнутая формула), это означает, что найдутся такие значения a и b переменных х и у при которых высказывание Fa→Fb&Fa→Fb&Fa будет истинным . Поскольку это высказывание представляет из себя конъюнкцию, то оно истинно, когда все её элементы истинны, т.е
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше решений задач по логике:
Все Решенные задачи по логике
Закажи решение задач
Оставляя свои контактные данные и нажимая «Найти работу», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

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