查看“︁原子公式”︁的源代码

[[分类:谓词逻辑]]
{{InfoBox
|name=原子公式
|eng_name=atomic formula
}}
'''原子公式'''(atomic proposition)指不含[[逻辑联结词]]、[[量词|量化表达式]]的[[谓词公式]]。
对命题逻辑而言，由于不关注命题的内部构造，原子公式相当于[[原子命题]]。
对谓词逻辑，需要进一步将其中的量词部分去除。

原子公式的定义基于[[项（谓词逻辑）|项]]，
* 若 <math>t_1, t_2</math> 都是项，由等词 <math>=</math> 连接的 <math>t_1 = t_2</math> 是原子公式；
* 若 <math>t_1, \dots, t_n</math> 都是项， <math>P</math> 是 <math>n</math>元谓词 ，构成的 <math>P(t_1, \dots, t_n)</math> 是原子公式。


{{谓词逻辑}}