From ProofWiki
Jump to: navigation, search

This category contains results about Contradiction in the context of Propositional Logic.

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.