命题（p→q）和（﹁p∨q）之间的真值关系是（）。

由前提“p→（q∨r）”再加上下列前提中的（），可必然推出结论﹁p。

A.﹁（q∨r）
B.﹁q∨﹁r
C.q ∧r
D.﹁（q →r ）

点击查看答案&解析

在复合命题推理中，无效的是（）。

A.p∧q├p
B.（p∨﹁q）∧q├﹁p
C.（p∨q）∧﹁p├q
D.（p∨q）∧p├﹁q
E.（p→﹁q）∧﹁q├﹁p

点击查看答案&解析