逻辑学中的同一律、矛盾律、排中律、充足理由律。
一、同一律：在同一思维过程中，每一思想要保持其自身的同一性。
同一律可以用公式表示为:“A是A"或“p→p”。其中A表示任一概念，p表示任一判断。“A是A"或“p→p”表示在同一思维过程中每概念或者判断保持其自身的同一性。同一律的主旨是保持思想的确定性。
同一律对思维形式的要求包括两个方面：一是概念要明确，二是判断要同一。
二、矛盾律：在同思维过程中，两个互相否定的思想不能同真，必有一假。
矛盾律可以用公式表示为:“A不是非人”或"一(pA一P)”。矛盾律的主旨是保持思想的一致性。
矛盾律对思维形式的要求包括两个方面：一是概念要相容，二是判断要一致。
三、 排中律：在同一思维过程中两个互相否定的思想不能都假，必有一真。
排中律可以用公式表示为:“A或者非A”或“pV→p°。排中律的主旨是保持思想的明确性。
排中律对思维形式的要求包括两个方面:：一是概念要清晰，二是判断要明确。
四、充足理由律： 通常把这条规律表述为：任何判断必须有（充足）理由。即任何一件事如果是真实的，或实在的；任何一个陈述如果是真的，就必须有一个为什么这样而不那样的充足理由。
充足理由律的提法源于17世纪末、18世纪初的德国哲学家莱布尼茨﹐G.W.。不过﹐莱布尼茨本人并未把充足理由原则当作逻辑规律。
扩展资料：
传统逻辑基本规律
传统逻辑基本规律，又称思维的基本规律或思维规律。包括同一律、矛盾律和排中律。有的逻辑学家还把充足理由律也包括在内。
它们是各种思维形式的特殊规律或规则的依据。
矛盾律和排中律是古希腊哲学家、逻辑学家亚里士多德首先提出的。亚里士多德虽未曾明确提出同一律，但在他的某些言论中已有关于同一律的思想。
传统逻辑学家认为，同一律、矛盾律和排中律这些思维的基本规律从不同方面体现了正确思维的主要特征──确定性。
思维的确定性是客观事物相对确定性的反映，也是传统逻辑基本规律的客观基础。唯心主义者否认这些思维规律的客观性，他们或者认为这些规律是思维本身所固有的先验范畴，或者认为思维规律是人们根据约定建立起来的规则。
传统逻辑基本规律对人们的思维具有规范作用，不遵守这些规律的要求，思维就会出现混乱和错误。
参考资料来源：百度百科-同一律
参考资料来源：百度百科-矛盾律
参考资料来源：百度百科-排中律
参考资料来源：百度百科-充足理由律
参考资料来源：百度百科-传统逻辑基本规律