计算题 设G为群，x，y属于G，且yxy^-1=x²，其中x不是单位元，y是2阶元，求x的阶。

设A，B，C为任意的命题公式，证明：等值关系有对称性：若AB，则BA。

问答题设A，B，C为任意的命题公式，证明：等值关系有对称性：若A⇔B，则B⇔A。

设A，B，C为任意的命题公式，证明：等值关系有自反性：AA。

问答题设A，B，C为任意的命题公式，证明：等值关系有自反性：A⇔A。

证明：（（p↑q）↑r）（p↑（q↑r）），（（p↓q）↓r）（q↓r）。

问答题证明：（（p↑q）↑r）⇎（p↑（q↑r）），（（p↓q）↓r）⇎（q↓r）。