蕴涵

蕴涵

yùn hán

1.[contain;accumulate] 包含。也作“蕴含”。 2.逻辑名词。判断中前后两个命题互为条件的关系叫"蕴涵"。表现形式是"如果……则……"。

在充分条件假言判断中：如果P，那么Q，可以表示为P→Q

P称为前件（条件），Q称为后件（后果），“→”这个符号，逻辑叫做“蕴涵”

蕴涵式中，只有当前件真后件假时整个假言判断为假，其余均为真。

真假值如下表：

P Q P→Q

真 真 真

真 假 假

假 真 真

假 假 真

编程语言中，蕴涵逻辑运算符通常是Imp