ÇELİŞMEZLİK İLKESİ (~(A Λ ~A)

Mantıkta bir şey aynı anda hem doğru hem de yanlış olamaz ya doğru ya da yanlıştır ilkesine “Çelişmezlik İlkesi” adı verilmektedir. Bu ilke sembolik mantıkta “~(A Λ ~A)” şeklinde ifade edilir. Akıl birbiriyle çelişen iki önermeden birini doğru kabul ederse, diğerini yanlış kabul eder.

Örneğin; A bir insan ise, “A hem bir insandır hem de insan değildir” diyemeyiz.