（多选题）
下列推理形式中，有效式是（ ）
A（p∧q∧r）→（p∧r）
B（（→）∧q）→p
C（（p∨q）∧p）→
D（（←q）∧）→q
E（（p→）∧）→q
正确答案
答案解析
A项为联言推理的分解式；B项为充分条件假言推理的否定后件式；C项违反了相容选言推理的“肯定一部分选言支，不能否定另一部分选言支”规则；D项违反了必要条件假言推理的“肯定前件不能肯定后件”规则；E项违反了充分条件假言推理“否定前件不能否定后件”的规则。
相似试题
（多选题）
下列推理形式中，无效式是（）
（单选题）
在以下假言推理中，有效式是（）
（单选题）
在以下三段论第三格的推理形式中，无效式是（）
（单选题）
在以下二难推理中，无效式是（）
（多选题）
下列式子中，三段论第三格的有效式是（）
（多选题）
下列负判断的等值判断，其有效式是（）
（简答题）
“所有的马克思主义者都是唯物主义者；某人不是马克思主义者；所以，某人不是唯物主义者。”这一推理属于何种推理？其推理形式是否有效？为什么？
（简答题）
“除非懂数学，才能成为天文学家；老张不是天文学家；所以，老张不懂数学。”请分析该推理的逻辑形式是什么？其逻辑形式是否有效？为什么？
（简答题）
请写出下列推理的逻辑形式，并简析其推理形式是否正确。“SAP假或SEP假；SAP真；所以，SEP假。”
