企源知识库

下列推理形式中，有效式是
A、( p∨q ) →┑r，p├ ┑r
B、┑( p∨┑q )├ p
C、 ( p→q ) ∧┑p├ ┑q
D、┑p∨q∨r├r
【正确答案】：A
【题目解析】：此题可以用排除法来做，B选项：┐（p∨┐q）├┐p∧q，利用联言推理的分解式，可以推出┐p或者q，所以B错误。
C选项：（p→q）∧┐p，这是充分条件选言推理否定前件式，是无效的。
D选项：相容选言判断的推理形式有否定肯定式和析取引入式，所以该式子也是推不出的。所以排除BCD，选A。