问题详情

下列推理形式中,有效式是()


A、(p∧q∧r)→(p∧r)

B、((→)∧q)→p

C、((p∨q)∧p)→

D、((←q)∧)→q

E、((p→)∧)→q

时间:2022-03-16 03:20 关键词: 00024普通逻辑

答案解析

A | B
A项为联言推理的分解式;B项为充分条件假言推理的否定后件式;C项违反了相容选言推理的“肯定一部分选言支,不能否定另一部分选言支”规则;D项违反了必要条件假言推理的“肯定前件不能肯定后件”规则;E项违反了充分条件假言推理“否定前件不能否定后件”的规则。