形式逻辑有三大定律。1同一律:在同一思维过程中，必须在同一意义上使用概念和判断，而不能在不同意义使用概念和判断

2矛盾律:在同一思维过程中，对同一对象，不能同时作出两个矛盾的判断，不能既肯定又否定

3排中律:在同一思维过程中，对同一事物两种思想不能同时为假，其中必有一真。