形式逻辑的基本规律之一。指在肯定、否定之间必须择其一，不能两不可。也就是在同一思维过程中，在同一时间、同一意义上，对同一问题做的两个互相矛盾的判断中，必有一个是真的，非此即彼，不能都否定。如在“甲是乙”和“甲不是乙”这两个判断中，必须肯定一个，否定一个，没有第三种可能。违反这条规律，就会犯模棱两可的错误。