必要條件假言推理是指以必要條件的假言命題為假言前提的假言直言推理。根據必要條件假言命題的邏輯特性，有兩條必須遵守的邏輯規則：(1)否定前件就要否定後件，否定後件不能斷定前件；(2)肯定後件就要肯定前件，肯定前件不能斷定後件。按此兩條規則，有否定前件式和肯定後件式兩種正確的形式。否定前件式：直言前提否定假言前提的前件，結論則否定假言前提的後件。如：“只有溫度適當，雞蛋才能孵出小雞；溫度不適當，所以雞蛋不能孵出小雞。”其推理形式是：“只有p，才q；非p，所以非q。”肯定後件式：直言前提肯定假言前提的後件，結論則肯定假言前提的前件。如：“只有溫度適當，雞蛋才能孵出小雞;雞蛋孵出了小雞，所以，溫度是適當的。”其推理形式是：“只有p，才q；q，所以p。”這種推理常見的邏輯錯誤是：直言前提肯定假言前提的前件，而結論則肯定其後件;或直言前提否定假言前提的後件，而結論則否定其前件。
基本介紹
- 中文名：必要條件假言推理
- 外文名：hypothetical inference under necessary conditions
- 所屬學科：邏輯學
- 簡介：假言推理之一
- 分類：否定前件式和肯定後件式
基本介紹,否定前件式,肯定後件式,必要條件假言推理的規則,
基本介紹
必要條件假言推理是假言推理之一，指大前提為必要條件假言命題，小前提和結論為性質命題的假言推理，它有兩種有效的邏輯結構形式：否定前件式和肯定後件式。
必要條件假言推理和充分條件假言推理前後件之間是互為條件的，掌握了充分條件假言推理前後件之間的關係，也就能夠掌握必要條件假言推理前後件之間的關係。
否定前件式
否定前件式指在小前提中否定大前提的前件，結論則否定它的後件，
例如：只有承認錯誤，才能改正錯誤;
他不承認錯誤，
所以，他不能改正錯誤。
又如：只有某人遞交了入黨申請書，才能加入中國共產黨，某人沒有遞交入黨申請書，所以，某人不能加入中國共產黨。
又如，只有深入實際調查研究，才能了解到第一手材料，
他不深入實際調査研究，
所以，他不能了解到第一手材料。
這種必要條件假言推理的邏輯結構形式可表示為：
只有p，オq，
非p，
所以非q。
肯定後件式
肯定後件式指在小前提中肯定大前提的後件，結論則肯定它的前件。
例如：只有認真學習，才能取得好成績；
他取得了好成績，
所以，他是認真學習的。
又如：只有某人已年滿18周歲，某 人才有選舉權，某人有了選舉權，
所以，某人已年滿18周歲。
又如，
只有船準時起航，才能準時到達目的港，
這艘船是準時到達目的港的，
所以，這艘船是準時起航的。
這種必要條件假言推理的邏輯結構形式可表示為：
只有p，才q，
q，
所以p。
必要條件假言推理的規則
必要條件假言推理必須遵守兩條規則：
1.否定前件就要否定後件，肯定後件就要肯定前件。
2.肯定前件不能肯定後件，否定後件，不能否定前件。
