蕴涵词

蕴涵词   yùn hán cí

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