Mantıkta, bir çelişki, bir ifadenin aynı anda hem doğru hem de yanlış olduğu durumu ifade eder. Bu, mantıksal olarak imkansız bir durumdur ve bu nedenle bir çelişki her zaman yanlıştır.
Bir çelişki, genellikle bir önermenin (P) ve onun olumsuzunun (P değil) aynı anda doğru kabul edilmesiyle oluşur. Bu, mantığın temel ilkelerinden biri olan Çelişmezlik İlkesi'ne aykırıdır.
Matematiksel olarak şöyle ifade edebiliriz:
\( P \land \neg P \)** (P ve P değil)
Bu ifadenin doğruluk değeri, P'nin değeri ne olursa olsun her zaman Yanlış (F)'tir.
Bir ifadenin sadece yanlış olması, onun bir çelişki olduğu anlamına gelmez. Çelişki, yapısı gereği ve her koşulda yanlış olan ifadedir.
Çelişkiler, mantık ve matematikte ispat yöntemlerinde sıkça kullanılır. Olmayana Ergi (Proof by Contradiction) yönteminde, bir ifadenin doğruluğunu kanıtlamak için, onun yanlış olduğunu varsayarız. Eğer bu varsayım bizi bir çelişkiye götürürse, başlangıçtaki ifadenin doğru olduğu sonucuna varırız.