Логически общезначимая фориула

[Blondinkaaa]

Определить логично общезначима ли формула

Наведите на мысль пожалуйста)

$\forall{x}\forall{y}Q(x;y)$ $\leftrightarrow$ $\forall{y}\forall{x}Q(x;y)$

[VAL]

Blondinkaaa в сообщении #427156 писал(а):

Определить логично общесвязная ли формула

Наведите на мысль пожалуйста)

$\forall{x}\forall{y}Q(x;y)$ $\leftrightarrow$ $\forall{y}\forall{x}Q(x;y)$

Навожу на мысль: эта формула логически общезначима.

Что такое "логично общесвязная" я не в курсе.

[Blondinkaaa]

я наверное действительно блондинка, конечно общезначима (не знаю чего я написала общесвязанная )

а как мне это доказать?
наверное через равносильность формул справа и слева(по закону коммутативности)?