问答题
设A，B为任意的命题公式，证明：AB当且仅当AB。
问答题设A，B为任意的命题公式，证明：ㄱA⇔ㄱB当且仅当A⇔B。
设G为群，x，y属于G，且yxy-1=x2，其中x不是单位元，y是2阶元，求x的阶。
问答题设G为群，x，y属于G，且yxy-1=x2，其中x不是单位元，y是2阶元，求x的阶。
设A，B，C为任意的命题公式，证明：等值关系有对称性：若AB，则BA。
问答题设A，B，C为任意的命题公式，证明：等值关系有对称性：若A⇔B，则B⇔A。
