查看“︁同一律”︁的源代码

[[分类:命题逻辑]]
[[分类:谓词逻辑]]
[[分类:古典逻辑]]
{{InfoBox
|name=同一律
|eng_name=law of identity
}}
{{#seo:
|keywords=同一律
|description=同一律是古典逻辑三大基本规律之一，A是A。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-09-05
}}
'''同一律'''('''law of identity''')是古典逻辑三大基本规律之一，指一个命题就是这个命题自己，或一个个体就是这个个体自己，即“A 是 A”。

== 符号化 ==

由于数理逻辑中对命题和个体的符号化有差异，同一律分成两种含义表示：

命题是命题本身，命题逻辑中可符号化为对命题 <math>P</math> 有[[重言式]] <math>P \rightarrow P</math> ，即：

<math>\vdash P \rightarrow P</math>

个体是个体本身，需要在谓词逻辑中符号化为'''等词公理'''，即：

<math>\vdash t=t</math>