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.運(yùn)用了選言推理的否定肯定式 D.運(yùn)用了假言推理的否定后件式 E.運(yùn)用了矛盾律