排中律与同一律(Law of Identity)、矛盾律(Law of Contradiction),合称为古典逻辑中所谓的思想三律。排中律系断言在两相矛盾的命题中,必有其一为真,而真否定为假,排除居中的第三种可能。以符号表示则为:pv~p,读作「p或非p」,即p或非p必有一为真。 思想三律可以视为建立真值表(truth table)的基础;在真值表中的各栏内不填T(true)(真),就填F(false)(假),也就是一个语句只有真或假两倍,此是受古典逻辑排中律之规范,而与现代多值逻辑认为一个语句并非只有真、假两值之基本假设不同。