数理逻辑中一种命题连接词。用符号“”表示，如AB即A和B的蕴涵式，读作“A蕴涵B”（或“如果A则B”），其真假关系是：A真和B假则AB假，否则AB真。A和B分别称为AB的前件和后件。