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)用了矛盾律
A.論題必然虛假 B.論題可能真實(shí) C.論證方式不正確 D.論證方式可能正確 E.論題得到了論證