形式逻辑的基本规律之一。在同一时间和同一条件下,互相矛盾的两个判断中,必有一真,不能都假。如一个是假的,另一个一定是真的,不能有中间情况。
形式邏輯思考三大原理之一,謂一事物在真與假兩個判斷中,不是真便是假,不是假便是真,不能有中間情況。此律原為西方理則思想之基礎。唯自本世紀二十年代以來,有直觀派邏輯及三值多值邏輯興,均不以此律為是。且證之於量子物理學,則此律不可用,必以三值邏輯方可。