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