填空题
A.∧→p∨q B.p∨q→p∧q C.p∨q→（p∧q）∨（∧） D.p→q→∧q E.p←q→p∧
A.（p∧q∧r）→（p∧r） B.（（→）∧q）→p C.（（p∨q）∧p）→ D.（（←q）∧）→q E.（（p→）∧）→q
A.间接证明的方法 B.间接反驳的方法 C.运用了选言推理的否定肯定式 D.运用了假言推理的否定后件式 E.运用了矛盾律