Çelişmezlik ilkesi, bir şeyin aynı anda hem kendisi hem de başka bir şey olamayacağını öne süren mantık ilkesidir. Bu ilke şu şekillerde ifade edilebilir: Bir şey, aynı zamanda hem olumlanıp hem de yadsınamaz. İki çelişik önermenin ikisi birden hem doğru hem yanlış olamaz. Bir önerme ya doğrudur ya yanlıştır, ikisinin dışında üçüncü bir hal yoktur. Çelişmezlik ilkesine örnek olarak, "A kişisi hem çalışkan hem tembeldir" ifadesi verilebilir. Ayrıca, "Bütün insanlar ölümlüdür" cümlesi ile çeliştiği için, "Bazı insanlar ölümlü değildir" ifadesi de yanlış olmak zorundadır.