Çelişkili iki önerme birlikte değerlendirildiğinde genellikle birbiriyle zıt olan iki mantıksal sonuç ortaya çıkar