Çelişmezlik ilkesi

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla

Çelişmezlik ilkesi, bir önermeyle çelişiğinin ikisinin birden doğru olamayacağını öne süren ilkedir.

Çelişmezlik ilkesine örnek olarak, A kişisi hem çalışkan hem tembeldir ifadesi verilebilir. Zira bu cümle, verilen ihtimallerden birinin mümkün olmayacağını ifade etmektedir. Aynı şekilde "Bütün insanlar ölümlüdür." cümlesi ile çeliştiği için, "Bazı insanlar ölümlü değildir." ifade yanlış olmak zorundadır. Çünkü bu önermeler çelişkilidir.