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

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

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

Условие:

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

Решение:

Докажем методом от противного. Пусть xP(x)xP(x) (а это высказывание, т.к. переменная связана кванторами) ложь. ...

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

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

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