Contradiction, law of

The logical law stating that no proposition can be true simultaneously with its negation. In the language of propositional calculus the law of contradiction is expressed by

$$\neg(A\mathbin\&\neg A)$$

This formula is derivable in classical as well as in intuitionistic constructive propositional calculus (cf. also Propositional calculus).