Çelişmezlik ilkesi, “A, A olmayan değildir” ifadesi ile tanımlanır. Bir şey, aynı zamanda hem kendisi hem başka bir şey olamaz. Zihin, birbiri ile çelişik olan iki önermeden birini kabul ederse diğerini reddeder. Bir konuya aynı yüklem aynı zamanda ve aynı şartlar altında hem olumlu, hem olumsuz yüklenemez.