问答题证明：∃xA（x）→∀xB（x）⇒∀x（A（x）→B（x））。
问答题证明：P →（Q →R）⇔P ∧Q →R。
问答题形式证明：p→q∨r，s→¬r，p∧s⇒q 。
问答题设〈G，*〉是群，具有幺元e，如果对G 的任意元素a，都有a2=e，则证明〈G，*〉是交换群。
判断题设A，B 为任意集合，则A×B =B×A 。
