形式逻辑三大定律：同一律、矛盾律、排中律。形式逻辑也叫普通逻辑。形式逻辑研究人的认识知性阶段思维规律的学说，狭义指演绎逻辑，广义还包括归纳逻辑。形式逻辑的思维规律也是思维形式和思维内容的统一。形式逻辑的对象是事物的质，形式逻辑靠概念、判断、推理（主要包括归纳推理与演绎推理）反映事物的质。
1、同一律是形式逻辑的基本规律之一，就是在同一思维过程中，必须在同一意义上使用概念和判断，不能在不同意义上使用概念和判断。
2、矛盾律（law of contradiction）是传统逻辑基本规律之一。它通常被表述为A必不非A（A一定不是非A），或A不能既是B又不是B。要求在同一思维过程中，对同一对象不能同时作出两个矛盾的判断，即不能既肯定它，又否定它。
在传统逻辑里，矛盾律首先是作为事物规律提出来的，意为任一事物不能同时既具有某属性又不具有某属性。它作为思维规律，则是任一命题不能既真又不真。
3、排中律指在同一个思维过程中，两种思想不能同假，其中必有一真，即“要么A要么非A”，是形式逻辑的基本规律之一。
排中律要求在同一思维过程中，不能对不能同假的命题（矛盾关系、反对关系）同时加以否定。比如：有一块空地可以种庄稼，甲、乙两人讨论这块地该种什么庄稼好。甲一会儿说应该种玉米，一会儿又说不应该种玉米。针对甲的说法，乙说：“你的两种意见，我都不同意。”