用蕴涵联结词”→”联结两个命题而成的真值形式。蕴涵式一般写为”p→q”，读作”p蕴涵q”。其中p称为前件，q称为后件。蕴涵式的逻辑性质取决于”蕴涵”这一真值联结词。一个蕴涵式为真，当且仅当，不存在前件真而后件假。蕴涵联结词可用真值表来定义：
蕴涵式中的”蕴涵”称为真值蕴涵，也叫实质蕴涵。它是充分条件假言命题真假关系的抽象。它没有包括充分条件假言命题的全部关系。它主要是表示：一个假言命题为真，决不存在前件真而后件假；否则，为假。如真命题”如果x能被6整除，那么x能被2整除”，x的取数结果，会使这一命题出现上述真值表中的第⑴种情况(如x=12)、第⑶种情况(如x=4)、第⑷种情况(如x=3)，唯独不存在一个取数，它使得第⑵种情况出现。可见，蕴涵式是现实世界中条件关系某一方面(真假关系)的正确反映。
联结词(语言)：在复合判断中联结支判断、表明支判断逻辑关系的概念。如“如果……那么……”，“或者”、“并且”等。运用这些逻辑联结词可以把支判断结合成各种复合判断。如“某数是偶数”和“某数能被2整除”，可以用“..
范式(语言)：能显示某种重要属性的表达式。数理逻辑中许多公式是等值的，但在表达形式方面常常是很不相同的。通过公式的等值转换，可以为千变万化的公式提供一个统一的表达式，这就是范式。范式能显示不同表达式的一些特性。..
命题(语言)：用来表示判断的有真假的语句。一般讲，自然语言中的陈述句都是命题。命题按其结构可分为简单命题和复合命题。简单命题，也叫原子命题，指不以其他命题为其组成部分的命题。如“孔子是中国人”。复合命题，也叫分子..
真值表方法(语言)：用真值表定义逻辑联结词或判定真值形式真值的逻辑方法。如设p、q为命题变项，普通逻辑中不相容析取联结词”V”(表示”要么…要么…”)，用真值表可定义为：当且仅当p和q不同真、不同假时，”pvq”为真。这一..