形式逻辑的基本规律之一。在同一时间和同一条件下，互相矛盾的两个判断中，必有一真，不能都假。如一个是假的，另一个一定是真的，不能有中间情况。