Çelişik Önermeler nedir?

Öznesi ve yüklemi aynı olan önermelerin hem nicelik hem de nitelik yönünden farklı olması durumuna Çelişik Önermeler denir. Çelişik önermeler arasında doğruluk değeri bakımından da bir zıtlık vardır. Buna göre önermelerden biri doğruysa diğeri zorunlu olarak yanlıştır.

Örneğin: “Bütün eğlenceler pahalıdır.” D

“Bazı eğlenceler pahalı değildir.” Y

“Hiçbir eğlence pahalı değildir.” D

“Bazı eğlenceler pahalıdır.” Y

İspatı: Çelişik önermelerin temel amacı, öne sürülen herhangi bir önermenin nasıl yanlışlanabileceğini göstermektir.