上回说到：苦儿在营业之前，消防部门的人员来检查防火这项不合格，说：“临街门市房只有一个门不可以。如果做买卖，就必须有一道在紧急情况下逃生的安全门。”苦儿坐在窗下发呆……

    五、《违章》——逆蕴涵命题推理规则

    逆蕴涵命题推理就是根据逆蕴涵命题的逻辑性质，对逆蕴涵命题前提的前件或后件加以断定，从而推出结论的推理。逆蕴涵命题的逻辑性质是：只有当前件假后件真时，该命题为假；其他三种情况，即前后件同真同假；前件真后件假时，该命题都真。所以，逆蕴涵命题同样有两条规则：

       1.否定前件即可否定后件；肯定后件即可肯定前件。

2.肯定前件不可肯定后件；否定后件不可否定前件。

逆蕴涵命题推理的公式有两个正确式：

    ①否定前件式

        ②肯定后件式

      下面进入故事情节：

苦儿正坐在窗下两眼发呆，突然灵机一动，便想了个办法：将后窗扒成后门。有了后门，消防部门通过了，可是房产住宅局不干了。私自将窗户改门属违章建筑，房产工作人员来了之后就要查封。

这里有一段苦儿与房产工作人员对话：

    苦儿说：“上次消防部门来不让我营业，等于否定了我的前门。如果你们肯定我的后门，就等于肯定了我的前门。照顾照顾吧！”

    房产工作人员说：“你营不营业我管不到，我肯定你的前门，但不能肯定你的后门。”

    苦儿说：“你否定了后门就等于否定了我的前门！”

    房产工作人员说：“我的职责是否定你的后门，我不能也没理由否定你的前门。”商量的结果是后门加固处理，可以从轻处罚。苦儿见有药可救，便应承下来。

      这段对话与逆蕴涵命题推理有什么关系？如果我们将他们的对话中的前门、后门当作前件、后件处理就可得到前面那两条推理规则：

      苦儿说：“……否定了我的前门，就是否定了我的后门（否定前件即可否定后件）；如果你这次能肯定我的后门，就等于肯定了我的前门（肯定后件即可肯定前件）。”

房产工作人员说：“……我肯定你的前门合理，但不能肯定你的后门合理（肯定前件不可肯定后件）。”苦儿说：“你否定了后门，我的前门也没用了啊（否定后件不可否定前件）！”

逆蕴涵命题推理的公式有两个正确式是：

①否定前件公式为：                                      

                 p←q                                                 

                 ￢p                                                            

                 ∴￢q

用符号表示为：

    （p←q）∧￢p→￢q                                         

    落实：只有封堵你的后门（p），才不违法（q）；     

          你没封堵后门（￢p）；                                            

          所以，你违法（￢q）。 

    ②肯定后件公式为：

                 p←q

                 q       

                ∴p             

用符号表示为：

       （p←q）∧q→p

     落实：只有同意后窗改后门（p），才能营业（q）；

           能营业（q）；                             

           所以，同意后窗改后门（p）。

    《苦儿蒙难记》的《违章》逆蕴涵命题推理讲完了，讲了两条推理规则和两条推理公式。下一回讲《破产》——互蕴涵命题推理规则。