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

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