A contradiction is when there are two or more statements that cannot all be true at the same time. A contradiction in logic can also be used to denote a self-contradictory statement, in which case it sometimes denoted by the symbol formula_1 or formula_2.