# Contradiction

## Logical incompatibility between two or more propositions / From Wikipedia, the free encyclopedia

#### Dear Wikiwand AI, let's keep it short by simply answering these key questions:

Can you list the top facts and stats about Contradiction?

Summarize this article for a 10 year old

In traditional logic, a **contradiction** occurs when a proposition conflicts either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a general tendency in applied logic, Aristotle's law of noncontradiction states that "It is impossible that the same thing can at the same time both belong and not belong to the same object and in the same respect."[1]

In modern formal logic and type theory, the term is mainly used instead for a *single* proposition, often denoted by the falsum symbol $\bot$; a proposition is a contradiction if false can be derived from it, using the rules of the logic. It is a proposition that is unconditionally false (i.e., a self-contradictory proposition).[2][3] This can be generalized to a collection of propositions, which is then said to "contain" a contradiction.

Oops something went wrong: