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