趙三失蹤案
在《疑獄集》中有這樣一個故事，說的是楊評事巧破趙三失蹤案的事。湖州的趙三與周生是好朋友，他們相約一起到南方去做生意。兩人雇了張潮的一條貨船，裝好貨後，他們與船主張潮相約第二天五更開船。第二天四更時，趙三的妻子孫氏就起來做飯，趙三吃完飯後，把五百兩銀子連同衣物打成包裹背在身上，與妻子告別後就去乘船了。五更時，周生來到船上，左等右等不見趙三的影子，就叫張潮去催促。這時天已大亮，張潮猛敲著趙家的門，叫喊著：“三娘子開門！三娘子快開門！”孫氏打開門一看，原來是船主張潮，張潮問道：“三郎為什麼到現在還沒有上船？”孫氏大吃一驚，說：“我丈夫天不亮就走了，怎麼到現在還沒有上船？”張潮回來告訴周生，周生也大為驚異，連忙與孫氏分頭去找。可是，找了三日，毫無蹤跡，周生怕受到連累，到官府報了案。
縣官懷疑孫氏另有所愛，故意害死丈夫；又懷疑周生謀財害命，但又找不到證據。這個案子拖了很久，直到有位決斷疑難案件的官員楊評事翻閱案卷時說：“敲門就叫三娘子，一定知道房內沒有丈夫。”於是命人將張潮抓來審問，果然不出所料，原來那天淩晨，趙三帶著500兩銀子到船上時被張潮看見，張潮見財起了歹心，趁著天未亮四周無人，殺了趙三，將屍體捆上一塊大石頭沉入河底，然後若無其事地等待周生上船。
這件殺人命案拖了很久沒有破獲，可見難度之大，經驗豐富的楊評事審理此案時，找到了此案的關鍵：“敲門就叫三娘子，一定知道房內沒有丈夫。”並以此進行推理：隻有事先知道房內沒有趙三，才會敲門時叫其妻三娘子。張潮敲門就叫其妻三娘子，所以，張潮事先知道房內沒有趙三。
這是一個肯定後件式的必要條件假言推理，形式正確，結論可靠。問題在於，有人認為，此事的推理是一個充分條件假言推理，具體是：如果敲門就叫其妻三娘子，那麼事先肯定知道房內沒有趙三；張潮敲門就叫其妻三娘子，所以，張潮事先知道房內沒有趙三。
這是一個肯定前件式的充分條件假言推理，形式正確，結論與上麵推理的結論一樣。
這是怎麼回事？這是假言易位推理起的作用。假言易位推理就是通過變換前提中假言命題前後件的位置，推出一個假言命題做結論的推理。通過假言易位，可以把必要條件假言命題換成充分條件假言命題，其公式是：
隻有p，才q。
所以，如果q，那麼p。
也就是說，“隻有事先知道房內沒有趙三，才會敲門就叫其妻三娘子”，可以易位為“如果敲門就叫其妻三娘子，那麼事先肯定知道房內沒有趙三”。所以，上述兩個假言推理的實質是一樣的。
通過假言易位，“隻有p，才q”還可以換成“如果非p，那麼非q”；“如果p，那麼q”可以換成“隻有q，才p”或“隻有非p，才非q”。例如，“隻有事先知道房內沒有趙三，才會敲門就叫其妻三娘子”，可以易位為“如果事先不知道房內沒有趙三，那麼敲門就不會叫其妻三娘子”。這樣，上麵的推理就是：
如果事先不知道房內沒有趙三，那麼敲門就不會叫其妻三娘子；張潮敲門就叫其妻三娘子，所以，張潮事先知道房內沒有趙三。這也是否定後件式的充分條件假言推理，當然也是正確的。所以，我們在進行假言推理時應該靈活運用。