原子命题、复合命题

原子命题
术语名称	原子命题
英语名称	atomic proposition
别名	atomic sentence, atomic

复合命题
术语名称	复合命题
英语名称	compound proposition
别名	compound sentence, compound

原子命题(atomic proposition)指不能分解为更简单命题的命题，即不含逻辑联结词的命题。 相反，能被分解为更简单命题的命题称为复合命题(compound proposition)。 原子命题是构成复合命题的基本单位，分解为更简单命题这一操作进行足够的重复后，复合命题总是会被分解为原子命题。 原子命题通常用命题符号表示。

原子命题的要求是不能分解为命题。这不意味着原子命题的内部不可以有内部构造，只是这些构造不可以能够分解出更简单的命题。

原子命题是命题逻辑研究中不可再分的"原子"单位，所有复合命题都可以通过逻辑联结词从原子命题构造而成。

命题逻辑/零阶逻辑
基本概念	命题	命题、命题变元、命题常量
	真值	真 [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{ \mathcal{L}_0 }[/math] 、命题公式
	逻辑语义	指派、 Tarski 真理定义、解释、真值表、满足
	语义分类	重言式/永真式、偶然式/仅可满足式/可真可假式、矛盾式/永假式/不可满足式
	语义关系	重言等价/等值/等价 [math]\displaystyle{ = }[/math]/[math]\displaystyle{ \Leftrightarrow }[/math] 、重言蕴涵 [math]\displaystyle{ \Rightarrow }[/math]
	范式	析取范式、合取范式（主析取范式、主合取范式）