命题公式分类

重言式
术语名称	重言式
英语名称	tautology
别名	永真式

偶然式
术语名称	偶然式
英语名称	contingency
别名	仅可满足式, 可真可假式

矛盾式
术语名称	矛盾式
英语名称	contrandiction
别名	永假式, 不可满足式, unsatisfiable formula

可满足式
术语名称	可满足式
英语名称	satisfiable formula

根据命题公式在全部解释下的真值，可以将命题公式分为以下几类。

• 重言式(tautology)/永真式：任何解释下，命题公式的真值都为真。即，任意指派都满足这一命题公式 [math]\displaystyle{ \phi }[/math] ，记作 [math]\displaystyle{ \vDash \phi }[/math] 。
• 偶然式(contingency)/仅可满足式/可真可假式：命题公式有些解释为真，有些解释下为假。
• 矛盾式(contradiction)/永假式/不可满足式：任何解释下，命题公式的真值都为假。即，任意指派都满足这一命题公式的否定 [math]\displaystyle{ \lnot\phi }[/math] ，即 [math]\displaystyle{ \vDash \lnot\phi }[/math] 。

此外，是否非矛盾式也被称为命题公式是否可满足(satisfiable)，即前两者称为可满足式或可真式、矛盾式称为不可满足式。同样地，是否非重言式也被称为可假式。

命题逻辑/零阶逻辑
基本概念	命题	命题、命题变元、命题常量
	真值	真[math]\displaystyle{ \mathrm{T} }[/math]/[math]\displaystyle{ 1 }[/math]/[math]\displaystyle{ \top }[/math]、假[math]\displaystyle{ \mathrm{F} }[/math]/[math]\displaystyle{ 0 }[/math]/[math]\displaystyle{ \bot }[/math]
逻辑联结词	否定（非）[math]\displaystyle{ \lnot }[/math]、合取（且/与）[math]\displaystyle{ \land }[/math]、析取（或）[math]\displaystyle{ \lor }[/math]
	蕴含（推出）[math]\displaystyle{ \rightarrow }[/math]、等价（当且仅当）[math]\displaystyle{ \leftrightarrow }[/math]
命题公式	语义	真值表、指派、解释、满足
	分类	重言式/永真式、偶然式/仅可满足式/可真可假式、矛盾式/永假式/不可满足式
	范式	析取范式、合取范式（主析取范式、主合取范式）
语义关系	等值	等值/等价[math]\displaystyle{ = }[/math]/[math]\displaystyle{ \Leftrightarrow }[/math]、置换
	重言蕴含	重言蕴含[math]\displaystyle{ \Rightarrow }[/math]

琐事

命名

英语 tautology 一词，来自希腊语ταυτολογία，本身是一个修辞，指换一种说法进行重复，或语义重复的冗余修辞，后来进入哲学的逻辑学的概念，并进一步借用到数学上。 因此本身取这个词本身的“重复地说，反复地说”的意思，故译为“重（chóng）言”。

此外，这个翻译与《庄子》“以卮言为曼衍，以重言为真，以寓言为广”一句中的“重言”词形相同纯属巧合。 这句话中“重言”一词，通常解作值得敬重的人的话，读作重（zhòng）言，但也有一说是指反复地说，读作重（chóng）言。