假言命题

　　(一)常见联结词

　　1. 前推后

　　如果……那么……; 只要……就……;若……则……;要想……必须……;一……就……;p

　　源于(依赖于、取决于、离不开)q

　　2. 后推前

　　只有……才……;……是……的基础/前提/必要条件

　　3. 否一推一

　　除非……否则……

　　(二)矛盾关系

　　“p⇒q”的矛盾是“p 且非 q”

　　(三)推理规则

　　“p⇒q”等价于“非 q⇒非 p”

　　口诀：当 p⇒q 为真时，肯前必肯后，否后必否前，否前、肯后不必然