基本介紹
必要條件假言推理是假言推理之一，指大前提為必要條件假言命題，小前提和結論為性質命題的假言推理，它有兩種有效的邏輯結構形式：否定前件式和肯定後件式 。
必要條件假言推理和充分條件假言推理前後件之間是互為條件的，掌握了充分條件假言推理前後件之間的關係，也就能夠掌握必要條件假言推理前後件之間的關係。
否定前件式
否定前件式指在小前提中否定大前提的前件，結論則否定它的後件，
例如：只有承認錯誤，才能改正錯誤;
他不承認錯誤，
所以，他不能改正錯誤。
又如：只有某人遞交了入黨申請書，才能加入中國共產黨，某人沒有遞交入黨申請書，所以，某人不能加入中國共產黨。
又如，只有深入實際調查研究，才能了解到第一手材料，
他不深入實際調査研究，
所以，他不能了解到第一手材料。
這種必要條件假言推理的邏輯結構形式可表示為：
只有p，オq，
非p，
所以非q。
肯定後件式
肯定後件式指在小前提中肯定大前提的後件，結論則肯定它的前件。
例如：只有認真學習，才能取得好成績；
他取得了好成績，
所以，他是認真學習的。
又如：只有某人已年滿18周歲，某 人才有選舉權，某人有了選舉權，
所以，某人已年滿18周歲。
又如，
只有船準時起航，才能準時到達目的港，
這艘船是準時到達目的港的，
所以，這艘船是準時起航的。
這種必要條件假言推理的邏輯結構形式可表示為：
只有p，才q，
q，
所以p。
必要條件假言推理的規則
必要條件假言推理必須遵守兩條規則：
1.否定前件就要否定後件，肯定後件就要肯定前件。
2.肯定前件不能肯定後件，否定後件，不能否定前件 。
