[多选题]以下复合判断的推理形式中,有效的推理形式为(     )


A

((p∧q)→r)∧﹁r →(p→﹁q) 

B

(p∨q∨r)→p

C

((p∧q)→r)∧r →(p∧q)

D

(﹁p∧q∧r)→r

E

((p∨q)→r)∧﹁r →(p∨﹁q)

正确答案:A,D
题目解析

A项:充分条件假言推理否定后件式,((p∧q)→r)∧﹁r →﹁(p∧q),根据复合判断的等值命题,﹁(p∧q)等值于(p→﹁q),故A正确;

D项:联言推理分解式,联言判断为真,可推知其任意一个联言支为真,故D正确;

B项选言推理无法直接肯定部分选言支;C项充分条件假言推理肯定后件式无效;E项﹁(p∨q)等值于﹁p∧﹁q,结论错误。

故本题选AD。

扫描二维码
免费搜题、免费刷题、免费查看解析