用蕴涵联结词”→”联结两个命题而成的真值形式。蕴涵式一般写为”p→q”，读作”p蕴涵q”。其中p称为前件，q称为后件。蕴涵式的逻辑性质取决于”蕴涵”这一真值联结词。一个蕴涵式为真，当且仅当，不存在前件真而后件假。蕴涵联结词可用真值表来定义：
蕴涵式中的”蕴涵”称为真值蕴涵，也叫实质蕴涵。它是充分条件假言命题真假关系的抽象。它没有包括充分条件假言命题的全部关系。它主要是表示：一个假言命题为真，决不存在前件真而后件假；否则，为假。如真命题”如果x能被6整除，那么x能被2整除”，x的取数结果，会使这一命题出现上述真值表中的第⑴种情况(如x=12)、第⑶种情况(如x=4)、第⑷种情况(如x=3)，唯独不存在一个取数，它使得第⑵种情况出现。可见，蕴涵式是现实世界中条件关系某一方面(真假关系)的正确反映。
范式(语言)：能显示某种重要属性的表达式。数理逻辑中许多公式是等值的，但在表达形式方面常常是很不相同的。通过公式的等值转换，可以为千变万化的公式提供一个统一的表达式，这就是范式。范式能显示不同表达式的一些特性。..
析取式(语言)：用析取真值联结词“V”将两个或两个以上命题联结而或的真值形式。构成析取式的支命题，称为析取支或析取项，用p、q、r等表示。析取式一般表示为pvq，读作“p析取q”。析取式的逻辑性质取决于“析取”这一真值..
真值表方法(语言)：用真值表定义逻辑联结词或判定真值形式真值的逻辑方法。如设p、q为命题变项，普通逻辑中不相容析取联结词”V”(表示”要么…要么…”)，用真值表可定义为：当且仅当p和q不同真、不同假时，”pvq”为真。这一..
集合(语言)：简称“集”。逻辑学术语。现代逻辑把一些确定的、彼此不同的事物作为一个整体来考虑时，这个整体就叫做集合。组成一个集合的那些事物，叫做该集合的元素。如a是集合A的元素，就叫做a属于A，记为a∈A。“∈”是表示..