假言命题是断定一全事物情况的存在是另一个事物情况存在的条件的命题，又称条件命题。假言命题可以分为三类：充分条件假言命题、必要条件假言命题、充要条件假言命题。

分成：充分、必要和充要

充分、必要与P→Q型假言命题 传统的形式逻辑体系会区分充分型假言命题和必要型假言命题。理论上二者自然是有区别的，但是实际上只需要从应试的角度出发知道推理关系即可。 例如，“如果考上研究生，那么参加了考试”和“不参加考试就考不上研究生”的意思是基本相同的。 【定义】充分条件Р和必要条件Q之间的推理关系就是P→Q型假言命题。 【刻画】充分条件和必要条件之间的推理关系统一刻画为P→Q。其中P就是充分条件，通常被简称为前件；Q就是必要条件，通常被简称为后件。 从应试的角度来看，我们一般根据指示词去识别和刻画P → Q型假言命题。

充要与P ←→ Q型假言命题 【定义】若P和Q互为充要条件，则二者的推理关系为Р ←→ Q型假言命题。P ←→ Q型假言命题也叫充要型假言命题P ←→ Q。 从应试的角度来看，我们一般根据指示词去识别P ←→ Q型假言命题。

从应试的角度来看，我们一般根据指示词去识别和刻画P → Q型假言命题。

在指示词中，“除非”的问题比较特殊，故在此单独总结。 【公式】除非A，否则B = A，否则B = B，除非A = A或B = ┐A → B = ┐B → A。 【口诀】除非与否则，一假推另真;缺除非补除非，缺否则补否则。 “除非否则等于或”的意思是看到除非否则的结构可以直接变成“或”，然后利用相容选言命题的推理性质得到推理关系。当然大家熟练之后，可以直接写出推理结果。 “缺除非补除非，缺否则补否则”的意思是如果只有一个单独的“否则”就补上“除非”，如果只有一个单独的“除非”就补上“否则”。例如，“A，否则B”=“除非A，否则 B"。 【公式】除非B，才A = 若A，除非B =A→B。 这个公式的记忆很简单，只要把“除非”等同于“只有”即可。

从应试的角度来看，我们一般根据指示词去识别P ←→ Q型假言命题。

传统的形式逻辑体系会区分充分型假言命题和必要型假言命题。理论上二者自然是有区别的，但是实际上只需要从应试的角度出发知道推理关系。即充分、必要与P→Q型假言命题，充要与P ←→ Q型假言命题。

若已知“如果考上，那么通过了国家线”，我们不难得到如下四条结论： ①若考上，那么通过了国家线。 ②若没有通过国家线,那么没考上。 ③如果没考上，那么可能通过国家线，也可能没有通过国家线。 ④如果通过了国家线，那么可能考上，也可能没考上。 根据指示词“如果，那么”，我们可将原判断刻画为“考上→通过了国家线"，其中“考上”就是前件,“通过了国家线”就是后件。因此，我们可以得到如下口诀。 【口诀】P→Q的推理，前真后真，后假前假，前假后不定，后真前不定。

由于P ←→ Q的本质含义是P、Q等价，故其中一个为真时另一个必然为真，其中一个为假时另一个也必然为假。因此，我们可以得到如下口诀。 【口诀】P ←→ Q的推理，一真另真，一假另假。

公式：A → B与 A ∧ ┐B是矛盾关系