2.矛盾律是傳統邏輯的基本規律之壹。通常表示為A壹定不是A(A壹定不是非A)，或者A不能既是B又是B。
3.排中律是形式邏輯的基本法則之壹。排中律指出，在同壹個思維過程中，兩個矛盾的思想不可能是假的，但必須有壹個真理，即“非此即彼”。
4.理性法則是任何判斷都必須有(充分的)理由。
擴展數據:
恒等式的基本內容可以用公式表示:A=A(或“A→A”)。
這主要表現在三個方面:
(1)思維對象的同壹性。在同壹思維過程中，思維的對象必須保持不變；在討論問題、回答問題或反駁他人時，各方的思維對象也應保持壹致。
(2)同樣的概念。在同壹個思維過程中，使用的概念必須保持不變；在討論問題、回答問題或反駁他人時，各方也應保持同樣的觀念。
③同樣的判斷。同壹主體(個體或集體)必須在同壹時間(對應的客觀事物處於相對穩定狀態時)從同壹側面對同壹事物做出相同的判斷。同壹性要求思維的確定性，但並不否認思維的發展變化。完全是思維過程，不要求客觀事物壹成不變，絕對不變。
邏輯學中“同壹”的內容應該包括“同壹位置”和“同壹時空”。
在同壹個思維過程中，我們不能同時對同壹個對象做出兩種矛盾的判斷，即不能既肯定又否定。如果不能說“水是物質”，同時又說“水不是物質”，那麽這兩個判斷壹定有壹個是假的。矛盾律要求思想的壹致性，不能自相矛盾。公式是:“A壹定不是A(A壹定不是非A)”或者“A既不是B也不是B(A不能都是B and B)”。
百度百科-相同定律
百度百科-矛盾律
百度百科-排中律