同一律

（数理逻辑）

同一律是形式逻辑的基本规律之一，就是在同一思维过程中，必须在同一意义上使用概念和判断，不能在不同意义上使用概念和判断。同一律这一基本内容可以用公式表示为:A=A(或 A→A )