企源知识库

以┐p→r，┐q→s，┐r∨┐s为前提进行推理，其结论应是( )
A、┐p∨┐q
B、┐p∧┐q
C、p∧q
D、p∨q
【正确答案】：D
【题目解析】：对假言两个后件的否定的析取，可推出对两个前件否定的析取。┐p的否定是p，┐q的否定是q，因此可得到p∨q。