1. Главная
  2. Библиотека
  3. Логика
  4. Необходимо доказать, что заданная формула является тожд...
Решение задачи на тему

Необходимо доказать, что заданная формула является тождественно ложной. Нужно использовать для решения метод от противного.

  • Логика
Необходимо доказать, что заданная формула является тождественно ложной. Нужно использовать для решения метод от противного.

Условие:

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

Решение:

Докажем методом от противного. Пусть F истинное высказывание (как замкнутая формула), это означает, что найдутся такие значения a и b переменных х и у при которых высказывание (F(a)F(b))(F(...

Выбери предмет