Условие:
Доказать, что формула является тождественно истинной:
![]()
Решение:
Докажем методом от противного. Пусть xP(x)xP(x) (а это высказывание, т.к. переменная связана кванторами) ложь. ...

Доказать, что формула является тождественно истинной:
![]()
Докажем методом от противного. Пусть xP(x)xP(x) (а это высказывание, т.к. переменная связана кванторами) ложь. ...
Не нашел нужную задачу?