问答题
形式证明：p→q∨r，s→¬r，p∧s⇒q 。
假设p为真，q∨r也为真。由于s为真，根据s→¬r，r为假。因为q∨r为真，r为假，所以q为真。所以，p∧s⇒q。
问答题 设〈G，*〉是群，具有幺元e，如果对G 的任意元素a，都有a2=e，则证明〈G，*〉是交换群。
判断题 设A，B 为任意集合，则A×B =B×A 。
判断题 x∈{x}→x∈{{x}} 。
