下列推理中,有效的是( )
A. p∧q, ∴p
B. p∧q, ∴q
C. (﹁p∨q),p, ∴q
D. (p∨q), q, ∴﹁p
“p→q,r→s,p∨r,∴q∨s”这一推理式是二难推理的( )
A. 简单构成式
B. 简单破坏式
C. 复杂构成式
D. 复杂破坏式
下列各式中,与﹁p∧q等值的有( )
A. ﹁(﹁p→﹁q)
B. ﹁(p∧﹁q)
C. ﹁(p←q)
D. ﹁p→﹁q
在复合命题推理中,无效的是( )
A. p∧q→p
B. (p∨﹁q)∧q→﹁p
C. (p→q)∧﹁p→q
D. (pÚq)∧p→﹁q
E. (p→﹁q)∧﹁q→﹁p