假言推理之有效式与无效式浅说

充分条件假言推理的否定前件式和肯定后件式与必要条件假言推理的肯定前件式和否定后件式不应被排除在有效式之外。真正的无效式是指不可能推出正确结论或不符合人的思维习惯的推理形式。充分条件、必要条件、充要条件三种假言推理各有四种有效式和四种无效式。三种假言推理的规则都应作必要的调整和补充，使之完整而严密。