同一律是形式邏輯的基本規律之一，其核心內容可以概括為「A=A」或「A→A」，意味著在同一思維過程中，任何思想、概念或判斷都必須保持其自身的同一性。這一原則主要表現在以下幾個方面：
思維對象的同一。在同一個思維過程中，思維的對象必須保持同一。
概念的同一。使用的概念必須在同一思維過程中保持同一，不可以混淆不同的概念。
判斷的同一。同一個主體在同一時間，對同一事物作出的判斷必須保持同一。
同一律要求思維的確定性，但不否認思維的發展變化。它適用於思維過程，並不要求客觀事物保持同一和絕對不變。違反同一律的邏輯錯誤主要包括混淆概念和偷換概念。