Bir önerme, özne ve yüklemi aynı olmakla birlikte nitelik ve nicelik bakımından birbirinden farklı olduğunda çelişik olur. Aristoteles mantığına göre, çelişik iki önerme aynı anda aynı doğruluk değerini taşıyamaz; biri doğruysa diğeri yanlış, biri yanlışsa diğeri doğru olmalıdır.