1942年8月，巴西正式向德国和意大利宣战。1944年7月6日，巴西远征军的第一梯队在意大利的那不勒斯登陆，随后，第二和第三梯队相继到达意大利，全部官兵约5万人。

    就在巴西远征军出国之前，德国的宣传机构大放厥词，说什么巴西军队都是些令人作呕的、胆小怕死的劣等人种的代表，还嘲笑说：“如果巴西军队有能力在欧洲作战，那么，一条蛇也能抽一斗烟。”

    但铁的事实无数次驳斥了德国法西斯的谎言。巴西远征军深知他们代表着祖国和人民，因此，在战场上士气高昂，取得了一次又一次胜利，多次受到盟国领导人的嘉奖和亲临慰问。更有趣的是，远征军的全体官兵在战斗打响后不久，为了回答德国法西斯的嘲笑，一律换戴了一种颇为罕见的肩章，肩章上的图案是：一条蛇在抽一斗烟！

    巴西远征军在战斗中取得了辉煌的战绩，仅俘虏的敌军就达2万多人，1945年4月接受了德军第148榴弹炮师和几个残存意大利师的投降。一直到1945年7月，巴西远征军才高奏凯歌班师回国。他们的远征用事实证明正义的军队是不可战胜的，一条蛇有时也确实能抽一斗烟！

    德国法西斯违背人民意志，悍然发动第二次世界大战，到处进行侵略，当然会遭到广大人民的反对。但他们却狂妄自负，对正义之师极尽诬蔑之能事。他们的嘲讽使用了一个充分条件假言判断：“如果巴西军队有能力在欧洲作战，那么，一条蛇也能抽一斗烟。”此判断之所以具有讽刺的效果，因为它实际上可看作省略了另一个前提和结论的推理：

    如果巴西军队有能力在欧洲作战，那么，一条蛇也能抽一斗烟；一条蛇不能抽一斗烟；所以，巴西军队没有能力在欧洲作战。而巴西军队则针锋相对，用事实驳斥了德国法西斯的诽谤，他们的证明也使用了一推理：

    如果巴西军队有能力在欧洲作战，那么，一条蛇也能抽一斗烟；巴西军队有能力在欧洲作战；所以，一条蛇能抽一斗烟。

    这两个推理都是充分条件假言推理。充分条件假言推理是利用充分条件假言判断的性质而进行的推理。充分条件假言判断断定前件是后件的充分条件，即在前件成立的条件下后件一定成立；反过来，后件是前件的必要条件，即在后件不成立的情况下前件也一定不成立。因此，如果我们承认一充分条件假言判断真，同时又肯定其前件真，那么必然肯定其后件也是真的；而如果否定其后件真，那么也必然否定其前件真。所以，充分条件假言推理有两种正确形式：肯定前件式和否定后件式。

    肯定前件式的大前提是一充分条件假言判断，小前提是一直言判断，它肯定大前提的前件是成立的，结论也是直言判断，它肯定大前提的后件是成立的。上述巴西远征军使用的推理就是此种形式，其中的假言前提为德国法西斯承认，而巴西远征军则假设其为真而作为大前提，他们用实际行动证明了假言前提的前件为真，因而，德国法西斯也不得不接受人所共知的虚假判断“一条蛇能抽一斗烟”，陷入尴尬境地。

    否定后件式的大前提是充分条件假言判断，小前提是否定判断，它否定假言前提的后件，结论则为否定假言前提前件的直言判断。上述德国法西斯使用的推理就是否定后件式，但他们用的是省略式，因为蛇很怕烟油，“一条蛇抽一斗烟”为有目共睹的虚假判断，而假言前提条件的否定也可明显推出。在日常生活中，人们也经常利用此形式讽刺一个人，例如，“如果张三能考上大学，太阳就会从西边出来了”，“如果他能当上三好学生，我就把自己的头吃进去”。由于它们的后件是假的，因而其前件必然为假。否定后件式常用来排除某种情况，如“如果甲是罪犯，那么，他有作案动机；甲没有作案动机；所以，甲不是罪犯”，“如果天下大雨