同一律

同一律
术语名称	同一律
英语名称	law of identity

同一律(law of identity)是古典逻辑三大基本规律之一，指一个命题就是这个命题自己，或一个个体就是这个个体自己，即“A 是 A”。

符号化

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

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

[math]\displaystyle{ \vdash P \rightarrow P }[/math]

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

[math]\displaystyle{ \vdash t=t }[/math]