在逻辑判断中，假言命题是一个高频考点，二难推理是假言命题中难度系数较大的一种题型，本节将介绍一种方便快捷的方法帮助广大考生解题。

已知：A→B，—A→B，可知B恒成立。

A→B，A→—B，可知A恒成立。

【例1】某市要建花园或修池塘，有下列4种假设：修了池塘要架桥;架了桥就不能建花园;建花园必须植树;植树必要架桥。据此不可能推出的是：

A.最后有池塘 B. 最后一定有桥

C.最后可能有花园 D. 池塘和花园不能同时存在

【答案】C

【解析】由题干翻译可知，池塘→桥→—花园;花园→植树→桥，即—桥→—花园。根据二难推理：A→B，—A→B，可知B恒成立，即—花园恒成立，即不建花园，题干设问方式为据此不可能推出的，因此正确答案为C。