该推理是无效的。但不是直言三段论推理而是命题推理。
令p:努力;q:成功
(┐p→┐q)∧p→q,这是个必要条件的假言推理,但是个无效式:
可以用归谬赋值法检验:
(┐p→┐q)∧p→q
FT TTF T TF F
必要条件假言推理规则:
①否定前件就要否定后件
②肯定后件就要肯定前件
③肯定前件不能肯定后件
④否定后件不能否定前件
上述推理违背了第③条规则
1、不正确,违反了三段论“两个否定的前提不能得出结论”的规则。 2、正确,逻辑形式为 PIM MAS SIP 3、不正确,违反了三段论“在前提中不周延的项,在