Çelişmezlik ilkesi
|Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.|
Çelişmezlik ilkesine örnek olarak, A kişisi hem çalışkan hem tembeldir ifadesi verilebilir. Zira bu cümleye göre, verilen ihtimallerden birisi yanlış olmak zorundadır yahut doğru olması mümkün değildir. Aynı şekilde "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. Çünkü bu önermeler birbiriyle çelişkilidir.