Law of non-contradiction
in logic, the law of non-contradiction states that contradictory propositions cannot both be true in the same sense at the same time, e. g. the two propositions “p is the case” and “p is not the case” are mutually exclusive.