假言推理

前提中至少有一个假言判断的，依据假言判断前后件之间的关系推出结论的一种演绎推理。根据前提中判断的不同，假言推理分为假言直言推理和纯假言推理。假言直言推理简称假言推理，其前提由一个假言判断和一个直言判断构成，结论是一个直言判断的推理。如：“如果谁骄傲，那么他就要落后，张同志骄傲的很； 所以他肯定要落后。”根据假言判断条件性质的不同，假言直言推理可分为充分条件假言推理、必要条件假言推理和充分必要条件假言推理。充分条件假言推理是一个前提为充分条件假言判断，另一个前提和结论均为直言判断的推理。如：“如果采用科学管理方法，就能提高劳动生产率，红旗造船厂采用了科学管理方法，所以，红旗造船厂提高了劳动生产率。”充分条件假言推理的规则： （一） 肯定前件就能肯定后件，否定前件不能否定后件；（二） 否定后件就能否定前件，肯定后件不能肯定前件。充分条件假言推理有两种正确的推理形式，一种是肯定前件式，即前提肯定假言判断的前件，结论肯定假言判断的后件。其公式为： 如果P，那么q; P，所以q。一种是否定后件式，即前提否定假言判断的后件，结论否定假言判断的前件。其公式为： 如果P，那么q; 非q，所以非P。必要条件假言推理是一个前提为必要条件假言判断，另一个前提和结论均为直言判断的推理。如：“只有水量合适，小麦才能长得好； 这块地的水量不合适，所以，这块地的小麦长得不好。”必要条件假言推理的规则： （一） 否定前件就能否定后件，肯定前件不能肯定后件； （二） 肯定后件就能肯定前件，否定后件不能否定前件。必要条件假言推理有两种正确的推理形式，一是否定前件式，即前提否定假言判断的前件，结论否定假言判断断的后件。其公式为： 只有P，才q; 非p，所以非q。二是肯定后件式，即前提肯定假言判断的后件，结论肯定假言判断的前件。其公式为： 只有P，才q; q，所以P。
纯假言推理是前提和结论都是假言判断。如：“如果干部的思想不真正解放，那么干部的积极性就不能充分发挥； 如果干部的积极性不能充分发挥，经济改革就不能顺利进行； 所以，如果干部的思想不真正解放，那么，经济改革就不能顺利进行。”纯假言推理的前一个假言判断的后件和后一个假言判断的前件是相同的。纯假言推理可分为充分条件纯假言推理和必要条件纯假言推理两种。充分条件纯假言推理的前提都是充分条件的假言判断。如：“如果科学技术发展了，机器设备就能更新； 如果机器设备更新了，劳动生产率就能提高； 所以，如果科学技术发展了，劳动生产率就能提高。”充分条件纯假言推理必须遵守充分条件假言推理的规则。必要条件纯假言推理的前提都是必要条件的假言判断。如：“只有刻苦努力，才能掌握现代科学技术； 只有掌握现代科学技术，才能对现代化建设作出贡献； 所以，如果不刻苦努力，就不能对现代化建设作出贡献。”必要条件纯假言推理必须遵守必要条件假言推理的规则。

假言推理jiayan tuili

演绎推理之一。前提中有一个是假言判断，另一个前提是由假言前提的前件或后件组成的直言判断或其负判断。亦称假言三段论。我国关于传统逻辑的书将假言推理分为下列3种：
充分条件假言推理。假言前提为充分条件假言判断的假言推理。它有两个正确式：
❶肯定前件式，即另一前提肯定假言前提的前件，结论肯定假言前提的后件。其形式为：如果p，则q,p，所以，q。
❷否定后件式，即另一前提否定假言前提的后件，结论否定假言前提的前件。其形式是：如果p，则q，非q，所以，非p。充分条件假言推理的规则是：肯定前件就要肯定后件，否定后件就要否定前件；但否定前件不能否定后件，肯定后件不能肯定前件。日常思维易发生的错误是：否定前件继而否定后件，或肯定后件继而肯定前件。如从“一个人如果骄傲就会落后，某人没骄傲”，推出“某人不会落后”。
必要条件假言推理。假言前提为必要条件假言判断的假言推理。它也有两个正确式：否定前件式：只有p，才q，非p，所以，非q。肯定后件式：只有p，才q,q，所以，p。必要条件假言推理的规则是：否定前件就要否定后件，肯定后件就要肯定前件；但肯定前件不能肯定后件，否定后件不能否定前件。日常思维易发生的错误是：从肯定前件到肯定后件或从否定后件到否定前件。如从“作家只有深入生活才能写出好作品，某人深入生活了”，推出“某人能写出好作品”。
充分必要条件假言推理。假言前提为充分必要条件假言判断的假言推理。它有4个正确式：肯定前件式：当且仅当p，才q,p，所以，q。否定前件式：当且仅当p，才q，非p，所以，非q。肯定后件式：当且仅当p，才q,q，所以，p。否定后件式：当且仅当p，才q，非q，所以，非p。充分必要条件假言推理的规则为：肯定前件就要肯定后件；否定前件就要否定后件；肯定后件就要肯定前件；否定后件就要否定前件。
传统逻辑还研究一些与假言判断有关的推理形式，如纯假言推理，即前提和结论都是假言判断的推理，亦称假言连锁推理。其形式之一是：如果p，则q，如果q，则r，所以，如果p，则r。

假言推理Jiayan tuili

就是前提中至少有一个假言判断， 并且依据其假言判断的逻辑性质进行推演的推理。例如：如果一个人是真正的教师，那么他就不会放弃育人的重担，王某是一个真正的教师，所以，王某不会放弃育人的重担。
传统逻辑中所讲的只是指假言直言推理。在传统的假言推理中，根据假言判断条件的不同，可分为：充分条件假言推理、必要条件假言推理和充分必要条件假言推理。
❶充分条件假言推理就是前提中有一个充分条件假言判断， 并根据充分条件假言判断的逻辑性质进行推演的假言推理。充分条件假言推理的规则有两条：第一，肯定前件就要肯定后件；否定后件就要否定前件。第二，否定前件不能否定后件；肯定后件不能肯定前件。根据规则，充分条件假言推理有两个正确的形式：肯定前件式，即在前提中肯定假言判断的前件，结论肯定它的后件。例如：如果天下雨，那么地湿，天下雨，所以，地湿。和否定后件式：前提中否定假言判断的后件，结论否定它的前件。例如：如果是动物，就能自己移动身体，含羞草不能自己移动身体，所以，含羞草不是动物。
❷必要条件假言推理是一个前提为必要条件假言判断， 另一个前提和结论为直言判断的假言推理。必要条件假言推理也有两条规则：第一，否定前件就要否定后件；肯定后件就要肯定前件。第二，肯定前件不能肯定后件；否定后件不能否定前件。根据规则， 必要条件假言推理有两个正确的形式： 否定前件式，即前提中否定了假言判断的前件，结论可否定它的后件。例如：只有认识到落后，才能改变落后，张三没有认识到落后，所以，张三没能改变落后。和肯定后件式，即前提中肯定了假言判断的后件，结论可肯定它的前件。例如：只有温度上升到摄氏100℃，水才沸腾，这锅水已沸腾了，所以，温度已上升到摄氏100℃。
❸充分必要条件假言推理是一个前提为充分必要条件的假言判断，另一个前提和结论为直言判断的假言推理。充分必要条件假言判断的性质是：有前件就有后件；没有前件就没有后件； 有后件就有前件； 没有后件就没有前件。因此，在前后件之间，肯定其中的一个便要肯定另一个；否定其中的一个便要否定另一个，由此共有四种正确的推理形式。

假言推理

前提中包括假言判断，并依据其逻辑性质进行的推理。包括充分条件、必要条件、充要条件假言推理三种。

假言推理

指前提中含有假言判断（命题）的推理。假言推理由两个前提和一个结论组成，两个前提中一个是假言判断，另一个是直言判断，结论是直言判断。通常把这种推理称为假言直言推理，把假言判断的前提称为假言大前提，直言判断的前提称为直言小前提。假言推理分为三种类型：充分条件假言推理、必要条件假言推理和充分必要条件假言推理。
充分条件假言推理 假言推理中的假言前提是充分条件假言判断。充分条件假言判断的逻辑形式是“如果P，则q”。在这个复合判断中，p是q的充分条件，指有前件p就一定有后件q；同时，q又是p的必要条件，指无后件q就一定无前件p。根据充分条件假言判断的逻辑特征，这种推理有两条规则：（一） 肯定前件就必须肯定后件；（二） 否定后件就必须否定前件。因此，这种推理有两种正确的形式。其一是肯定前件式，公式为：

例如，“如果某数能被4整除，则它能被2整除，某数能被4整除，所以，某数能被2整除。”其二是否定后件式，公式为：

例如，“如果某数能被4整除，则它能被2整除，某数不能被2整除，所以，某数不能被4整除。”
必要条件假言推理 假言推理中的假言前提是必要条件假言判断。必要条件假言判断的逻辑形式是“只有p，才q”。在这个复合判断中，p是q的必要条件，指无前件p就一定无后件q；同时，q是p的充分条件，指有后件q就一定有前件p。根据必要条件假言判断的逻辑特征，这种推理有两条规则：（一） 否定前件就必须否定后件；（二） 肯定后件就必须肯定前件。因此，这种推理有两种正确的形式。其一是否定前件式，公式为：

例如，“只有越过英吉利海峡，才能由大陆到达英国，他没有越过英吉利海峡，所以，他没有由大陆到达英国。”其二是肯定后件式，公式为：

例如，“只有越过英吉利海峡，才能由大陆到达英国，他已由大陆到达英国，所以，他越过了英吉利海峡。”
充分必要条件假言推理 假言推理中的假言前提是充分必要条件假言判断。充分必要条件假言判断的逻辑形式是“p，当且仅当q”。在这个复合判断中，p既是q的充分条件又是q的必要条件，指有p就一定有q，无p就一定无q；同时，q也既是p的充分条件又是p的必要条件，指有q就一定有p，无q就一定无p。根据充分必要条件假言判断的逻辑特征，这种推理有四种正确的形式。其一是肯定前件式，公式为：

其二是否定前件式，公式为：

其三是肯定后件式，公式为：

其四是否定后件式，公式为：

假言推理

hypothetical inference