【巧媳妇智斗知府】
巧姑是个聪明能干的少妇，她公公张老汉让她管家。巧姑把家务处理得有条不紊，张老汉一时高兴就在大门口贴上“万事不求人”5个大字。
知府老爷存心要整一整张老汉。有一天，知府老爷对张老汉说：“你说得出这种大话，想必有大本事。好吧！限你三天之内，替我找出三件东西来。一要一头大公牛生的牛犊，二要灌得满大海的清油，三要一块遮天的黑布。要是找不出来，就办你个欺官之罪！”
张老汉回家以后，愁眉苦脸，吃不下饭，睡不着觉。巧姑问公公有什么愁闷的事，张老汉把知府的话告诉给巧姑。巧姑一听，就说：“你放心吧，这差事就让我来对付。”
过了三天，知府老爷来了。一进门便叫道：“张老头，快出来！”
巧姑走上前说：“禀大人，我公公没在家。”
知府瞪着眼说：“他敢逃跑，他还有官差在身。”
巧姑说：“他没有逃跑，是生孩子去了。”
知府奇怪起来了，说：“世上只有女人才生孩子，哪有男人生孩子的？”
巧姑说：“你既然知道男人不能生孩子，为什么又要大公牛生的牛犊呢？”
知府一时无言答对，停了好久只得说道：“这一件不要他办了，还有灌海的清油呢？”
巧姑说：“请大人把海水弄干，马上就灌。”
知府说：“海那么大，不可能弄得干。”
巧姑说：“要是不弄干，海里白茫茫的一片水，油又往哪儿灌呢？”
知府的脸一下子就羞红了，便说道：“这一件也不要了，还有遮天的黑布呢？”
巧姑说：“请问大人，天有多宽？”
知府说：“谁也没有量过，哪个晓得它有多宽。”
“既然不晓得天有多宽，那叫我们怎么去扯布呢？”
这样一来，知府老爷再也没有话说了。他红着脸，匆匆忙忙地钻进轿里跑了。
故事中的巧媳妇在智斗知府老爷的过程中，用了四个推理，其中有三个假言推理，这三个推理都是必要条件假言推理：
（1）只有女人才能生孩子，我公公不是女人，所以，我公公不能生孩子。
（2）只有弄干海水，才能往海里灌清油；既然弄不干海水，那么就不能往海里灌清油。
（3）只有晓得天有多宽，才能去扯遮天的黑布；既然不晓得天有多宽，所以不能去扯遮天的黑布。
这三个推理都是必要条件假言推理的否定前件式，它们都是有效的。必要条件假言推理有两个有效式，分别是否定前件式和肯定后件式。
否定前件式和肯定后件式在充分条件假言推理中是两个无效式，但在必要条件假言推理中却是有效式；肯定前件式和否定后件式在充分条件假言推理中是有效的，但在必要条件假言推理中却是无效的。
以上四个推理式的有效和无效是由必要条件假言推理的逻辑性质所决定的。根据必要条件的逻辑性质，可以得出必要条件假言推理的规则：
否定前件就要否定后件，肯定后件就要肯定前件。
肯定前件不能肯定后件，否定后件不能否定前件。
故事中，巧媳妇所用的三个推理都是必要条件假言推理的否定前件式，都符合必要条件假言推理的“否定前件就要否定后件”的规则。否定前件式是必要条件假言推理最常用的推理式。
例如：
章太炎的某弟子从欧洲学成回国，来拜见老师。见面后，他谈论西方的科学实验，强调说一切事物必须亲眼看到，才算真实可靠。章太炎听后，很不高兴地问：“你有没有曾祖？”弟子回答：“老师，我怎么会没有曾祖呢？”章太炎说：“那么，你看到过你的曾祖吗？”
在这里章太炎就用了一个这样的推理：
只有亲眼看到的，才是真实的；
你没有看到你的曾祖；
所以，你的曾祖不是真实存在的。
这个推理也是必要条件假言推理的否定前件式。不过它虽然形式有效，却仍然得出了错误的结论。这是因为章太炎的那个学生所说的“只有亲眼看到的，才是真实的”这个前提是虚假的。章太炎在这里实际上用的是归谬法，意在指出对方的错误。
一旦掌握了必要条件假言推理的四个推理式，我们就可以把一些常见的命题代进去，从而构造出四个推理式来。通过考察这些推理式的真假情况，可以加深我们对这些常见命题的理解。
【“内行外效”坏风气】
齐灵公在位期间，荒淫无度，成天过着花天酒地的生活。他老想着变换花样，尽情寻欢作乐，今天喜欢这样，明天又想着那样。有一段日子里，他突发奇想，花样翻新，让宫廷的几个侍女都穿上男人的衣服，他一边喝酒，一边让这些女人上前来，供他赏玩。那些女人为讨得国君欢心，也故意做出各种媚态，从他面前搔首弄姿缓缓走过。历来看惯了宫内打扮得花团锦簇的女人，再看到面前这些女扮男装的女人，灵公感到十分新鲜有趣。喝着酒，色迷迷地连声说：“好看！好看！有意思！”边说边下令赏赐物品给这些女人，又让宫内其他妇女也都穿上男装。
晏子知道这件事后，上朝拜见灵公，诚恳地对灵公说：“陛下，您这样做不好啊！本来您让宫内妇女女扮男装，我作为臣子不便干涉，但我认为这样影响不好，大家都仿效着这样穿，事情就糟了。”灵公这时已迷上了这件事，便毫不在意地对晏子说：“我只让宫内妇女这样打扮，我看着觉得高兴。况且也只是让妇女穿穿男子的衣服，一件小事，好玩而已，您就不必多虑了！”晏子无奈，只好告辞回家，心里却一直为这事担忧。
过了不久，国君喜欢穿男装的女人这件事传到宫外，于是齐国妇女都仿效起来。既然是国君喜欢的，自然就是好的，女人无论老少，都穿上了男装，女扮男装在齐国蔚然成风。女人穿上了男装，男女不分，整个齐国人都搞得不伦不类了。
灵公原以为只是在宫内玩玩而已，无损大局，待到大臣们将市民百姓女扮男装的情况向他报告之后，灵公也感到这样有损一国的尊严，对自己没有好处，于是急忙派官吏去禁止，并发布命令说：“三天之后，再看到女子穿男人服装的，就给我撕破她们的衣服，扯断她们的衣带，看谁还敢再穿！”齐灵公心想，我发出这样的严令，女人们该换上女人装了吧。
命令发出去了。三日后，灵公派许多官员上街巡视，可是仍有许多女人照样穿着男装在街上行走。官吏凶狠地上去撕破了她们的衣服，扯断了她们的衣带，将她们赶回去。不久，到处都可看到被撕破衣服的妇女，可是，女扮男装的风气仍不能制止。这下，齐灵公感到着急了，可一时却又想不出一个好办法来。
这一天，晏子上朝拜见灵公，灵公急不可待地对晏子说：“当初没有听您的劝告，现在齐国女扮男装已四处流行，我几次下令禁止，并派了官员采取了行动，可还是禁止不了，这是什么原因呢？您说，该怎么办才行？”
晏子接着说：“您对外面下禁令，派官吏去禁止女穿男装，可是您在宫中却鼓励、纵容妇女们着男子服装，这就好比挂的是牛头，卖的是马肉，内行外效，南辕北辙，这样怎么能禁止得了呢？如果您真想要禁止的话，就应该先从宫中开始禁起，这才能奏效。”
灵公觉得晏子的话有点刺耳，但又想不出别的办法，只好无可奈何地说：“那您说吧，我应该怎么办？”晏子说：“很简单，下令在宫内禁止女扮男装！”灵公只有答应，说：“好吧，我按您说的办！”于是狠心下了命令，宫内再有女子穿男人衣服的，必受重罚。
第二天，宫内妇女都穿上了女儿装，妇女们相互一打量，还是感到穿上女装漂亮，灵公看了也觉得十分顺眼。这样，不到一个月，全国上下，再也没有一个妇女敢穿男装了。
故事中包含了一个充分必要假言推理，其推理形式为：
（1）当且仅当只有内行，才外效；
内行；
所以，外效。
（2）当且仅当只有内行，才外效；
内不行；
所以，不外效。
充分必要条件假言推理是前提之一为充分必要条件假言判断，并且根据充分必要条件假言判断的逻辑特点进行推演的推理。充分必要条件假言判断的逻辑特点是：前件对于后件来说既是充分的，又是必要的。即前件存在，后件必定存在；前件不存在，后件必定不存在；后件存在，前件必定存在；后件不存在，前件必定不存在。这样，充分必要条件假言推理就有肯定前件式、否定后件式、否定前件式、肯定后件式四个有效的推理形式。
充分必要条件假言推理的推理规则有四条：
第一，肯定前件就要肯定后件；
第二，否定后件就要否定前件；
第三，否定前件就要否定后件；
第四，肯定后件就要肯定前件。
