能显示某种重要属性的表达式。数理逻辑中许多公式是等值的，但在表达形式方面常常是很不相同的。通过公式的等值转换，可以为千变万化的公式提供一个统一的表达式，这就是范式。范式能显示不同表达式的一些特性。范式有*合取范式、*析取范式和*前束范式等。合取范式的作用在于显示重言式，析取范式的作用在于显示矛盾式。在命题演算中利用范式可以机械地判定公式的可证性。在谓词演算中，在判定公式的普遍有效性和可满足性时，前束范式可以提供重要的线索。
析取式(语言)：用析取真值联结词“V”将两个或两个以上命题联结而或的真值形式。构成析取式的支命题，称为析取支或析取项，用p、q、r等表示。析取式一般表示为pvq，读作“p析取q”。析取式的逻辑性质取决于“析取”这一真值..
命题(语言)：用来表示判断的有真假的语句。一般讲，自然语言中的陈述句都是命题。命题按其结构可分为简单命题和复合命题。简单命题，也叫原子命题，指不以其他命题为其组成部分的命题。如“孔子是中国人”。复合命题，也叫分子..
真值表方法(语言)：用真值表定义逻辑联结词或判定真值形式真值的逻辑方法。如设p、q为命题变项，普通逻辑中不相容析取联结词”V”(表示”要么…要么…”)，用真值表可定义为：当且仅当p和q不同真、不同假时，”pvq”为真。这一..
逻辑语义学(语言)：①也叫“纯语义学”。研究语言表达式与表达式意义之间关系的科学。这里的意义，既包括表达式的所指或外延，又包括表达式的涵义或内涵。它围绕着什么是表达式的意义而展开对逻辑形式系统中符号解释的研究..
合取式(语言)：用合取真值联结词“”联结两个或两个以上的命题而成的真值形式。构成合取式的支命题称为合取支或合取项，用p、q、r等表示。合取式一般记为pq，读作“p合取q”。合取式的逻辑性质取决于“合取”这一真值联结..