形式邏輯揭示的思維規律有四條：同一律、矛盾律（也稱作不矛盾律）、排中律和充足理由律。
一、同一律★★
（一）同一律的基本含義
“同一律的內容是，在同一思維過程中，每一思想必須與其自身保持同一。也就是說，每一個概念、判斷都是確定的，是什麽就是什麽；一個判斷是真的就是真的，是假的就是假的。”
同一律的公式是：A是A，或A=A。
例如，“秋季運動會開幕式那天，所有的同學都到了，包括幾個同學的家長。”同學和同學的家長不是同一概念，不可以混淆。
（二）教育活動中遵守思維的同一性
同一律是關於思維同一性的規律，它的作用是保證思維的確定性，以便人們進行正常的思維或順利地交流思想。一般來說，同一律遵循如下原則：
第一，在同一思維過程中，必須保持概念自身的同一。
第二，在同一思維過程中，必須保持論題自身的同一。
第三，在同一思維過程中，必須保持語境自身的同一。
因此，教師在教學過程中要遵守思維的同一性，確定對概念的認識。如果違反了同一律的要求，自身認識就容易出現偏頗，從而造成教師自身思想的混亂，影響整個教學活動的進行。
（三）運用思維同一律要注意的問題
同一律具有客觀性和必然性，強製規範著人類的思維，是人類思維符合邏輯的基本要求。在運用的過程中一定要嚴格遵循同一律的基本規則，保證思維和自身的統一，防止“混淆概念”“偷換概念”“轉移論題”“偷換論題”錯誤的發生。
二、矛盾律
（一）矛盾律的基本含義
矛盾律是說，“在同一思維過程中，兩個互相反對或互相矛盾的判斷不能同時都真，其中至少有一個是假的。對於這樣的兩個判斷，如果同時肯定為真，就會出現自相矛盾（或邏輯矛盾）。”