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

[[分类:命题逻辑]]
[[分类:谓词逻辑]]{{DEFAULTSORT:yuan2zi3gong1shi4}}
{{#seo:
|keywords=原子公式, 命题公式, 谓词公式
|description=本文介绍原子公式的定义，以及其作为命题公式和谓词公式中公式的最基础构建单元的地位。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-06-24
}}
{{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> 是原子公式。


{{谓词逻辑}}