三、排中律

    排中律的基本内容是：在同一论证过程中，对同一对象的肯定判断与否定判断，这两个相矛盾的判断必有一个是真的，它的公式是“或者是A或者是非A”（即排除第三种情况的可能）。
    排中律也是数学论证中常常用到的逻辑形式。数学论证中反证法的依据就是排中律，比如，要证明“不是有理数”，只要证明“是有理数”不真就可以了。这是因为“不是有理数”和“是有理数”是两个矛盾的命题，根据排中律，其中必有一个是真的，如果能够证明“是有理数”不真，就可以证明“不是有理数”是真的。
    排中律与矛盾律是有联系又有区别的，矛盾律不容许思维有逻辑矛盾，指出互相否定的思想不同真；排中律则进一步要求人们在相互矛盾的判断中承认其中必有一真，在这个意义上说，排中律是矛盾律的继续。