Category:Definitions/Contradiction

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Contradiction.
Related results can be found in Category:Contradiction.


A contradiction is a statement which is always false, independently of any relevant circumstances that could theoretically influence its truth value.

This has the form:

$p \land \neg p$

or, equivalently:

$\neg p \land p$

that is:

$p$ is true and, at the same time, $p$ is not true.