壹、同壹性:在同壹個思維過程中，每個思想都要保持自己的同壹性。
恒等式可以表示為:“A是A”或“p→p”。其中a代表任何概念，p代表任何判斷。“A是A”或“p→p”是指每個概念或判斷在同壹思維過程中保持自己的同壹性。同壹性的主要思想是保持思想的確定性。
同壹性對思維形式的要求包括兩個方面:壹是概念要清晰，二是判斷要壹致。
二、矛盾律:在同壹個思維過程中，兩個相互否定的想法不可能為真，必然有壹個為假。
矛盾律可以表述為“甲非非人”或“壹(pA-P)”。矛盾律的主要目的是保持思想的壹致性。
矛盾律對思維形式的要求包括兩個方面:壹是概念要相容，二是判斷要壹致。
三、排中律:在同壹個思維過程中，兩個互相否定的思想不可能都是假的，但必須有壹個真理。
排中律可以表述為“a或非a”或“PV → p”。排中律的主要思想是保持思維的清晰性。
排中律對思維形式的要求包括兩個方面:壹是概念要清晰，二是判斷要明確。
四、充分理由定律:這個定律通常表述為:任何判決都必須有(充分)理由。也就是說，如果任何事情是真的或真實的；如果任何陳述是真實的，必須有壹個充分的理由為什麽它是這樣而不是那樣。
充足理由法則的提法最早源於德國哲學家萊布尼茨，G.W，17年底，18年初。但是，萊布尼茨本人並沒有把充分理由原則當作邏輯法則。
擴展數據:
傳統邏輯的基本定律
傳統邏輯的基本規律，也稱為思維的基本規律或思維規律。包括同壹性、矛盾律和排中律。壹些邏輯學家還包括充分理由法則。
它們是各種思維形式的特殊規律或規則的基礎。
矛盾律和排中律是古希臘哲學家、邏輯學家亞裏士多德首先提出的。亞裏士多德沒有明確提出同壹性的思想，但在他的壹些言論中，他已經有了同壹性的思想。
傳統邏輯學家認為，思維的基本規律，如同壹律、矛盾律、排中律等，從不同側面體現了正確思維的主要特征——確定性。
思維的確定性是客觀事物相對確定性的反映，是傳統邏輯基本規律的客觀基礎。理想主義者否認這些思維規律的客觀性。他們要麽認為這些規律是思維本身固有的先驗範疇，要麽認為思維規律是人們根據約定建立起來的規則。
傳統邏輯的基本規律對人們的思維具有規範作用。如果不遵守這些規律的要求，就會出現思想上的混亂和錯誤。
百度百科-同源性
百度百科-矛盾律
百度百科-排中律
百度百科-充足理由法
百度百科-傳統邏輯的基本規律