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 \displaystyle{ \bot } or \displaystyle{ 0 }.