问答题给定代数系统（G，+，*），二元运算见表一，表二：证明（G，+，*）是域。
问答题设B 是任意集合，试验证（P（B），⊕）是群，P（B）是集合B 的幂集，⊕是集合的对称差运算。
问答题证明：∃xA（x）→∀xB（x）⇒∀x（A（x）→B（x））。
问答题证明：P →（Q →R）⇔P ∧Q →R。
问答题形式证明：p→q∨r，s→¬r，p∧s⇒q 。
