【同一律矛盾律排中律理由律】同一律：形式邏輯的基本規(guī)律之一，就是在同一思維過程中，必須在同一意義上使用概念和判斷 ， 不能混淆不相同的概念和判斷．公式是：＂甲是甲＂或＂甲等于甲＂ 。矛盾律：傳統(tǒng)邏輯基本規(guī)律之一，又稱不矛盾律 。它通常被表述為A不是非A，或A不能既是B又不是B 。在傳統(tǒng)邏輯里，矛盾律首先是作為事物規(guī)律提出來的，意為任一事物不能同時既具有某屬性又不具有某屬性 。排中律：傳統(tǒng)邏輯基本規(guī)律之一，通常被表述為A是B或不是B 。傳統(tǒng)邏輯首先把排中律當(dāng)作事物的規(guī)律，意為任一事物在同一時間里具有某屬性或不具有某屬性，而沒有其他可能 。排中律同時也是思維的規(guī)律，即一個命題是真的或不是真的，此外沒有其他可能 。理由律：即充足理由原則，任何一件事如果是真實的、或?qū)嵲诘?，任何一個陳述如果是真的，就必須有一個為什么這樣而不那樣的充足理由，雖然這些理由常常總是不能為我們所知道的 。
