假言命题指形式为"如果A则B"的复合命题。又称条件命题。其在前的支命题叫做前件，在后的支命题叫做后件。假言命题陈述一种事物情况是另一种事物情况的条件。在形式逻辑中，命题联结词"如果，则"被理解为"前件真而后件假"是假的，即"如果 A则B"假，当且仅当A 真而B假;而当A假时,整个复合命题总是真的。在现代逻辑中，命题之间的这样的真假关系叫做实质蕴涵。在日常语言中，关于"如果，则"可能还有其他含义，如因果联系、推论关系等等。

定义

分类

充分条件假言命题

必要条件假言命题

充分必要条件假言命题

蕴涵怪论

定义

所谓假言命题就是陈述某一事物情况是另一件事物情况的条件的命题，假言命题亦称条件命题。例如：

1. 如果在淀粉溶液里加入碘酒，那么淀粉溶液会变蓝。

2. 只有水分充足，庄稼才能茁壮生长。

3. 一个代数方程能得到根的计算公式当且仅当这个代数方程的次数不超过四。

分类

逻辑学考察的事物间的条件关系有三种：

1. 如果有事物情况A，则必然有事物情况B；如果没有事物情况A而未必没有事物情况B，A就是B的充分而不必要的条件，简称充分条件。

2. 如果没有事物情况A，则必然没有事物情况B；如果有事物情况A而未必有事物情况B，A就是B的必要而不充分的条件，简称必要条件。

3. 如果有事物情况A，则必然有事物情况B；如果没有事物情况A，则必然没有事物情况B，A就是B的充分必要条件。例如：

1. A下雨；B地湿。

2. A不 呼吸；B人不能 活着。

3. A三角形等边；B三角形等角。

例1中的A是B的充分条件；例2中的A是B的必要条件；例3中的A是B的充分必要条件。

与此相应，假言命题也有三种，即：充分条件假言命题、必要条件假言命题和充分必要条件假言命题。根据三种不同的假言命题的逻辑性质，相应地，也就有三种不同的假言推理。

充分条件假言命题

充分条件假言命题是陈述某一事物情况是另一件事物情况的充分条件的假言命题。“如果，那么”是充分条件假言命题的联结词；“如果”后面的支命题称为前件；“那么”后面的支命题称为后件。用p表示前件，用q表示后件，充分条件假言命题的的命题形式可表示为：

如果p，那么q

符号为：p→q(读作“p蕴涵q”） 。

例如“如果物体不受外力作用，那么它将保持静止或匀速直线运动”是一个充分条件假言命题。

充分条件假言命题与其支命题（前件、后件）之间的真假关系是：如果前件真而后件假，则该充分条件假言命题才是假的；如果不是“前件真而后件假”，则该充分条件假言命题是真的。这种真假关系可用下面的真值表来表示：

p q 如果p，那么q

______________________________

真 真 真

真 假 假

假 真 真

假 假 真

必要条件假言命题

必要条件假言命题是陈述某一事物情况是另一件事物情况的必要条件的假言命题。“只有，才”是必要条件假言命题的联结词；“只有”后面的支命题是前件，用p表示，“才”后面的支命题是后件，用q表示，必要条件假言命题的的命题形式可表示为：

只有p，才q

符号为：p←q(读作“p逆蕴涵q”） 。

例如“只有有作案动机，才会是案犯”是一个必要条件假言命题。

必要条件假言命题与其支命题（前件、后件）之间的真假关系是：如果前件假而后件真，则该必要条件假言命题才是假的；如果不是“前件假而后件真”，则该充分条件假言命题是真的。这种真假关系可用真值表表示如下：

p q 只有p，才q

______________________________

真 真 真

真 假 真

假 真 假

假 假 真

例如：充分条件假言判断”如果严重砍伐森林，那么就会水土流失“，只有在”严重砍伐森林但水土没有流失“的情况下才是假的，在其他情况下都是真的。

充分必要条件假言命题

充分必要条件假言命题是陈述某一事物情况是另一件事物情况的充分必要条件的假言命题。“当且仅当”是充分必要条件假言命题的联结词。充分必要条件假言命题的的命题形式可表示为：

p当且仅当q

符号为：p←→q(读作“p等值q”） 。

例如“三角形等边当且仅当三角形等角。”是一个充分必要条件假言命题。

充分必要条件假言命题与其支命题（前件、后件）之间的真假关系是：如果前件与后件同真或同假，则该充分必要条件假言命题是真的；如果前件与后件不同真、不同假”，则该充分必要条件假言命题是假的。这种真假关系可用真值表表示如下：

p q p当且仅当q

______________________________

真 真 真

真 假 假

假 真 假

假 假 真

蕴涵怪论

充分条件假言命题中，“如果，那么”被抽象为蕴涵的逻辑关系，可用真值表表示为：

p q 如果p，那么q

______________________________

真 真 真

真 假 假

假 真 真

假 假 真

这种对蕴涵的定义并不是完美无缺的。比如，从上述真值表可以发现，当前件假时，无论后件如何，整个真值形式p→q都为真，也就是说，一个假命题蕴涵任何命题。例如，“如果地球是方的，那么，地球会飞”和“如果地球是方的，那么，地球不会飞”，根据真值表，这两个命题都是真的。从上述真值表还可以发现，当后件真时，无论前件如何，整个真值形式p→q也都是真的。这就是说，一个真命题为任何命题所蕴涵。例如，“如果太阳从东边出来，那么，地球是圆的”和“如果太阳不从东边出来，那么，地球是圆的”，根据真值表，这两个命题都是真的。这就是逻辑史上两个有名的蕴涵怪论。

这种蕴涵理论确实是有缺陷的，但对于假言推理有效性的解释而言，它又是完全可以令人满意的，并且对于假言命题的真假确定十分方便，所以他仍为很多人所接受，并沿用至今。