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

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

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

Условие:

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

Решение:

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

Не нашел нужную задачу?

Воспользуйся поиском

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