企源知识库

已知前提p∧┐q→┐s∧r，如果要推出┐p，则需要加上前提
A、q∨┐s
B、┐（q→┐r）
C、q∨r
D、┐q∨┐r
E、┐q∧s
【正确答案】：DE
【题目解析】：p∧┐q→┐s∧r，根据充分条件假言推理，否定后件式，可得s∨┐r→┐p∨q。
再根据相容选言推理析取引入式，可得
①s→s∨┐r→┐p∨q。
②┐r→s∨┐r→┐p∨q。所以想推出┐p，必须让q为假，所以┐q为真。所以想推出┐p，有2种情况，即┐q∧┐r，和┐q∧s，故选DE。