Çelişmezlik ilkesi
Ç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ümleye göre, verilen ihtimallerden birisi yanlış olmak zorundadır yahut doğru olması mümkün değildir.