必要條件假言推理是大前提為必要條件假言判斷，按照必要條件假言判斷前、後件之間存在的必要條件聯係進行推演的推理。必要條件假言推理的規則也有兩條：第一，否定大前提的前件，就必然否定大前提的後件；第二，肯定大前提的後件，就必然肯定大前提的前件。這與充分條件假言推理的規則正好相反。在前提真實的情況下，必要條件假言推理遵守規則進行推演，就能得出必然真的結論，這是由必要條件假言判斷前、後件之間存在的複條件聯係所決定的。根據規則，必要條件假言推理存在兩種形式，即否定前件式和肯定後件式。
所謂否定前件式，是指在進行必要條件假言推理時，小前提否定了大前提的前件，就必然得到否定大前提後件的結論。
約翰先生是一個嚴重的“妻管嚴”，但同時也是一個非常喜歡抽煙的人，可他夫人偏偏特別討厭煙味。因此，約翰先生在家從來沒有抽煙的自由，要抽煙隻能去外麵。
一日，約翰先生在外地出差，閑暇之餘到公園散步。他來到一張休閑椅旁，伸了個懶腰，然後在椅子上坐下休息。約翰先生坐的椅子的另一邊坐著一位在看書的年輕姑娘。
過了一會兒，約翰先生從口袋裏拿出香煙，他看了看旁邊年輕的小姐，很有禮貌地問道：“小姐，請問你介意我抽煙嗎？”年輕的姑娘抬起頭，對著約翰先生微微一笑道：“先生，你就像在家裏一樣好啦。”說完，年輕的姑娘又俯下頭繼續看書。
約翰先生怔了怔，歎了口氣，一邊把香煙放回口袋裏，一邊自言自語地說：“唉，還是不能抽。”
我們通過這個小故事，不僅可以看到約翰先生“懼內”的無可奈何被幽默而生動地刻畫出來，還可以通過推理形式去演繹約翰先生因長時間的“妻管嚴”所形成的固化思維意識。