蕴涵式

出处：按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第674页（401字）

用蕴涵联结词”→”联结两个命题而成的真值形式。蕴涵式一般写为”p→q”，读作”p蕴涵q”。其中p称为前件，q称为后件。蕴涵式的逻辑性质取决于”蕴涵”这一真值联结词。一个蕴涵式为真，当且仅当，不存在前件真而后件假。蕴涵联结词可用真值表来定义：

蕴涵式中的”蕴涵”称为真值蕴涵，也叫实质蕴涵。它是充分条件假言命题真假关系的抽象。它没有包括充分条件假言命题的全部关系。它主要是表示：一个假言命题为真，决不存在前件真而后件假；否则，为假。如真命题”如果x能被6整除，那么x能被2整除”，x的取数结果，会使这一命题出现上述真值表中的第⑴种情况(如x=12)、第⑶种情况(如x=4)、第⑷种情况(如x=3)，唯独不存在一个取数，它使得第⑵种情况出现。可见，蕴涵式是现实世界中条件关系某一方面(真假关系)的正确反映。