Definition:Contradiction/Also known as
Jump to navigation
Jump to search
Definition
A contradiction is also known as:
- a logical falsehood or logical falsity
- a contravalid proposition
- an absurdity or absurdism, as the idea of a statement being both false and true at once is absurd.
Also seen:
However, on $\mathsf{Pr} \infty \mathsf{fWiki}$, these terms are reserved for the analogous concepts for proof systems and formal semantics respectively.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): contradiction
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): contradiction