原子公式

原子公式
术语名称	原子公式
英语名称	atomic formula

原子公式(atomic proposition)指不含逻辑联结词、量化表达式的谓词公式。 对命题逻辑而言，由于不关注命题的内部构造，原子公式相当于原子命题。 对谓词逻辑，需要进一步将其中的量词部分去除。

原子公式的定义基于项，

• 若 [math]\displaystyle{ t_1, t_2 }[/math] 都是项，由等词 [math]\displaystyle{ = }[/math] 连接的 [math]\displaystyle{ t_1 = t_2 }[/math] 是原子公式；
• 若 [math]\displaystyle{ t_1, \dots, t_n }[/math] 都是项， [math]\displaystyle{ P }[/math] 是 [math]\displaystyle{ n }[/math]元谓词 ，构成的 [math]\displaystyle{ P(t_1, \dots, t_n) }[/math] 是原子公式。

谓词逻辑/一阶逻辑
命题结构	个体词（个体常项、个体变项）、个体域、函项、项、谓词（谓词常项、谓词变项）
	量词（辖域、出现）（全称量词 [math]\displaystyle{ \forall }[/math]、存在量词 [math]\displaystyle{ \exists }[/math]）
谓词公式	解释/模型、赋值
	分类	普遍有效公式、可满足式、不可满足式
	范式	前束范式、Skolem 范式