必要条件假言推理法
以必要条件假言判断为前提,根据必要条件假言判断的性质而进行推演的逻辑方法。例如:“只有建立了科学的管理制度,生产才能顺利进行;某工厂没有建立科学的管理制度;所以,某工厂的生产不能顺利进行。”这个推理的前提是必要条件假言判断,它的逻辑性质是:否定前件必否定后件;肯定后件必肯定前件。因此,当确知假言前提中没有前件,可必然推出没有后件。
必要条件假言推理法有两个推理有效式:
(1)否定前件式:
或用符号表示成:(p←q)∧p→q。
(2)肯定后件式:
或表示成:(p←q)∧q→p。
运用这种推理法时必须遵守下列的规则:①否定前件就必推出否定后件,肯定前件不能肯定后件;②肯定 ...... (共382字) [阅读本文]>>