Для доказательства того, что данная формула общезначима, приведем доказательство по таблице истинности.

Пусть R(x, x) - это предикат, который истинен только когда x=x (тождественно истинный предикат).

Теперь построим таблицу истинности для формулы:

R(x,x)¬R(x,x)R(x,y)¬R(x,y)R(x,x) → (ⱻy)R(x,y)(ⱻx)R(x,x)→(ⱻx)(ⱻy)R(x,y)ИЛИЛЛИЛИЛИИИ

Из таблицы видно, что формула общезначима, так как значение истинности выражения (ⱻx)R(x,x)→(ⱻx)(ⱻy)R(x,y) истинно при любых значениях R(x,x) и R(x,y).

Таким образом, данная формула общезначима.