From ProofWiki
Jump to navigation Jump to search

This category contains results about Contradiction.
Definitions specific to this category can be found in Definitions/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.