蕴涵

---

(拉丁语implico——紧密联系) 一种逻辑运算，它借助相当于连接词“如果……那么”的逻辑联结词，将两个命题构成一个复合命题。

在蕴涵命题中，分为前件(即前面有“如果”一词的那个命题)和后件(即跟在“那么”后面的那个命题)。在古典数理逻辑中，从以真值函项下定义的实质蕴涵的概念出发，可得出：只有在前件是真、后件是假的情况下，蕴涵才是假的，而在其余所有情况下，蕴涵都是真的。