假言命题

例1.已知“如果你是合肥人，那么你一定是安徽人”为真，以下哪项也必定为真：

A.如果你不是合肥人，那么你一定不是安徽人

B.如果你是安徽人，那么你一定是合肥人

C.如果你不是安徽人，那么你一定不是合肥人

【答案】C。解析:根据联结词“如果……那么”可以判断是前推后，题干可以写成p=>q的形式，这叫肯前推肯后。A.如果你不是合肥人，但是你是马鞍山人、芜湖人或者安徽其他地市的人，仍然能推出你是安徽人，所以根据“你不是合肥人”，不能确定推出“你一定不是安徽人”这叫“否前不能否后”。B.如果你是安徽人，你有可能是淮南、蚌埠、六安等地市的人，也不能确定推出“你一定是合肥人”，这叫“肯后不能肯前”。C.如果你不是安徽人，因为合肥属于安徽，故而能推出“你一定不是合肥人”，这叫“否后推否前”。排除A、B，故本题选C。

根据例1，我们将假言命题的推理规则总结如下：肯前推肯后;否前不能否后;肯后不能肯前;否后推否前。那么我们如何利用假言命题的推理规则解题呢，下面再根据一道例题看看具体应用。