当R具有反对称性时，若aRb真，则bRa（）；当R具有传递性时，若aRb真且bRc真时，则aRc（）。

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.运用了矛盾律