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