Full context:   In logic, the law of noncontradiction (LNC; also known as the law of contradiction, principle of non-contradiction (PNC), or the principle of contradiction) states that for any given proposition, the proposition and its negation cannot both be simultaneously true, e.g., the proposition "the house is white" and its negation "the house is not white" are mutually exclusive.