问答题
设A，B，C为任意的命题公式，证明：等值关系有对称性：若A⇔B，则B⇔A。
问答题 设A，B，C为任意的命题公式，证明：等值关系有自反性：AA。
问答题 证明：（（p↑q）↑r）（p↑（q↑r）），（（p↓q）↓r）（q↓r）。
问答题 设Z18为模18整数加群，求所以元素的阶。
