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