纯假言推理
一位下士调动工作，到新单位报到时带来了原上司给新上司的一张字条。字条写着：“此人好赌，如能戒，则是好兵。”新上司立即问那下士：“你赌什么?”
“什么都赌，”下士说。“比如我敢说您右臂下有一胎痣。如果没有，我输给您一周薪金。”
“好!”新上司说完立即脱掉上衣，证明自己并无胎痣。随后，他高兴地接受了下士输给他的一周薪金。
事后，他洋洋得意地打电话告诉下士原来的上司：“你那个好赌的下士被我治了一下。”等他把情况说明时，对方说：“别自信了，他从我这儿出发之前就同我赌了2000英镑，说一见到你就能立即让你打赤膊，结果你让他赢了。”
这位下士可算得上是一位惯赌，他把两次与不同对象的打赌联系得天衣无缝。他同新上司打赌虽然输了，但这恰恰成为赢原上司的条件，输了一周薪金，却赢了2000英镑，真是合算的买卖。
这位下士是用充分条件纯假言推理把两次不同的赌博联系在一起的，其推理过程为：
如果我说新上司右臂下有一胎痣并以此和他打赌，那么他一定认为我输；
如果他一定认为我输，那么他一定会和我打赌；
如果他和我打赌，那么他就要证明我说的不对；
如果他要证明我说的不对，那么他就得打赤膊；
如果他打赤膊，那么和原上司打的赌肯定我赢了；
所以，如果我说新上司右臂下有一胎痣并以此和他打赌，那么和原上司打的赌肯定我赢了。
纯假言推理是前提与结论都是假言判断的假言推理。在纯假言推理中，前一个假言判断的后件和后一个假言判断的前件相同，它由几个假言判断联结起来。纯假言推理的前提可以是两个，也可以是多个。纯假言推理包括充分条件纯假言推理、必要条件纯假言推理和混合条件纯假言推理。
充分条件纯假言推理是完全以充分条件假言判断作前提的假言推理。它有肯定前件式和否定后件式两种推理形式。
肯定前件式。它是由肯定第一个前提里的前件，从而肯定后一个前提的后件的推理，其推理形式为：
如果p，那么q；
如果q，那么r；
所以，如果p，那么r。
“以输换赢”故事中的那个下士把两个打赌联系起来运用的就是充分条件纯假言推理。又如：
如果利用职务上的便利以贪污公共财产为目的进行犯罪，那么该犯罪行为是贪污罪；
如果是贪污罪，那么该犯罪行为是故意犯罪；
所以，如果利用职务上的便利以贪污公共财产为目的进行犯罪，那么该犯罪行为是故意犯罪。
这一推理也是这种推理形式的实例。
否定后件式。它是由否定最后一个前提里的后件，进而否定第一个前提里的前件的推理，其推理形式为：
如果p，那么q；
如果q，那么r；
所以，如果非r，那么非p。
例如：
如果要顺利进行经济建设，就要整顿好社会治安；
如果要整顿好社会治安，就要刹住犯罪分子的嚣张气焰；
所以，如果不刹住犯罪分子的嚣张气焰，就不能顺利地进行经济建设。
上述推理就是充分条件纯假言推理的否定后件推理。
充分条件纯假言推理的前提都是充分条件假言判断，这种推理的性质和充分条件假言推理的性质相同，因而，这种推理必须遵守充分条件假言推理的规则。
必要条件纯假言推理是完全以必要条件假言判断作前提的纯假言推理。这种推理有否定前件式和肯定后件式两种形式。
否定前件式。它是由否定第一个前提里的前件进而否定最后一个前提的后件的推理，其推理形式为：
只有p，才q；(https://www.daowen.com)
只有q，才r；
所以，如果非p，那么非r。
例如：
只有年满十八岁，才享有选举权；
只有享有选举权.才能当选人大代表；
所以，如果没满十八岁，就不能当选人大代表。
这个推理就是必要条件纯假言推理的否定前件式推理，其形式有效，能必然地推出结论。
肯定后件式。它是由肯定最后一个前提里的后件，进而肯定第一个前提里的前件的推理，其推理形式为：
只有p，才q；
只有q，才r；
所以，如果r，那么p。
例如：
只有知法，才能懂法；
只有懂法，才能当律师；
所以，如果当律师，那么知法。
必要条件纯假言推理和必要条件假言推理的性质相同。这种推理必须遵守必要条件假言推理的规则。
混合条件纯假言推理是以充分必要条件假言判断与充分条件假言判断(或必要条件假言判断)为前提的纯假言推理。常见的形式有两种。
第一种形式是由充分必要条件假言判断与充分条件假言判断为前提的纯假言推理，它的推理形式为：
当且仅当只有p，才q；
如果q，那么r；
所以，如果p，那么r。
例如：
当且仅当只有加压降温到一定程度，才能使气体液化；
如果使气体液化，可再次证明质量互变规律；
所以，如果加压降温到一定程度，就可再次证明质量互变规律。
这种形式的混合条件纯假言推理要遵守“肯定前件就要肯定后件”的充分条件假言推理的规则。
第二种形式是以充分必要条件假言判断与必要条件假言判断为前提的纯假言推理，它的推理形式为：
当且仅当只有p，才q；
只有q，才r；
所以，如果非p，那么非r。
例如：
当且仅当只有四边形是平行四边形，它的两组对边才分别平行；
只有四边形的两组对边分别平行，此四边形才是菱形；
所以，如果四边形不是平行四边形，此四边形就不是菱形。
这种形式的混合条件纯假言推理要遵守“否定前件就要否定后件”的必要条件假言推理的规则。