问答题
证明：∃xA（x）→∀xB（x）⇒∀x（A（x）→B（x））。
这个命题是错误的。因为存在一个x使得A(x)为真，并不能保证对于所有的x，A(x)为真。所以，不能从存在量词推出全称量词......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 证明：P →（Q →R）⇔P ∧Q →R。
问答题 形式证明：p→q∨r，s→¬r，p∧s⇒q 。
问答题 设〈G，*〉是群，具有幺元e，如果对G 的任意元素a，都有a2=e，则证明〈G，*〉是交换群。
