【同一律矛盾律排中律理由律】同一律：形式逻辑的基本规律之一 ， 就是在同一思维过程中，必须在同一意义上使用概念和判断，不能混淆不相同的概念和判断．公式是：＂甲是甲＂或＂甲等于甲＂ 。矛盾律：传统逻辑基本规律之一，又称不矛盾律 。它通常被表述为A不是非A，或A不能既是B又不是B 。在传统逻辑里，矛盾律首先是作为事物规律提出来的 ， 意为任一事物不能同时既具有某属性又不具有某属性 。排中律：传统逻辑基本规律之一，通常被表述为A是B或不是B 。传统逻辑首先把排中律当作事物的规律 ， 意为任一事物在同一时间里具有某属性或不具有某属性，而没有其他可能 。排中律同时也是思维的规律 ， 即一个命题是真的或不是真的，此外没有其他可能 。理由律：即充足理由原则，任何一件事如果是真实的、或实在的，任何一个陈述如果是真的 ， 就必须有一个为什么这样而不那样的充足理由，虽然这些理由常常总是不能为我们所知道的 。