形式逻辑的基本规律是进行正确思维所必须遵循的思维形式的一般规律。它是正确思维中的各种思维形式之间本质的必然的联系。
①
同一律：在同一思维过程中，必须保持每一思想（概念的内涵和判断的内容）前后一致。
同一律的公式：A就是A。
②不
矛盾律（亦称矛盾律）：在同一思维过程中，两个相互矛盾或者具有上反对关系的思想不能同真，至少有一假。
不矛盾律的公式：A不是非A。
③
排中律：在同一思维过程中，两个相互矛盾的思想，不能同假，必有一真。
排中律的公式是：“A或者非A”
④充足理由律：在思维论证过程中，要确定一个判断为真，必须有充足理由。
充足理由律的公式是：A真，因为B真并且B能推出A