Mantıkta, çelişik önermeler, aynı konu ve yüklemle kurulmuş ancak hem nitelik hem de nicelik bakımından birbirine zıt olan önerme çiftleridir. Bu önermeler aynı anda hem doğru hem de yanlış olamazlar. Biri doğruysa diğeri mutlaka yanlıştır. 🎯
Geleneksel mantıkta dört temel kategorik önerme türü vardır ve bunlar harflerle kodlanır:
Çelişik önermeler, nitelik (olumlu/olumsuz) ve nicelik (tümel/tikel) bakımından tamamen zıt olan çiftlerdir. İki temel çelişik çift vardır:
Bu iki önerme birbiriyle çelişir. Biri doğruysa diğeri kesinlikle yanlıştır.
Örnek:
🅰️: "Bütün kediler dört ayaklıdır." (Doğru)
🅾️: "Bazı kediler dört ayaklı değildir." (Yanlış)
Eğer "Bütün kediler dört ayaklıdır" önermesi doğruysa, "Bazı kediler dört ayaklı değildir" önermesi yanlış olmak zorundadır. ✅
Bu iki önerme de birbiriyle çelişir. Aynı anda ikisi de doğru veya ikisi de yanlış olamaz.
Örnek:
🅴️: "Hiçbir balık uçamaz." (Doğru)
ℹ️: "Bazı balıklar uçar." (Yanlış)
Uçan balık gibi istisnalar olsa bile, genel kural olarak "Hiçbir balık uçamaz" doğru kabul edilirse, "Bazı balıklar uçar" ifadesi onunla çelişir ve yanlıştır. ❌
Aşağıdaki tablo, çelişik önermelerin doğruluk değerlerini göstermektedir:
Çelişik önermeleri anlamak, mantıklı düşünme ve argüman analizinde çok önemlidir. Bir iddianın doğruluğunu kanıtlamanın en güçlü yollarından biri, onun çelişiğinin yanlış olduğunu göstermektir. Ayrıca, tutarlı bir düşünce sisteminde çelişik iki önermeye aynı anda inanılamaz. 🧩
Sonuç olarak: A-O ve E-I çiftleri mantığın temel taşlarından biridir. Birini kabul etmek, diğerini reddetmeyi gerektirir. Bu ilişki, doğru akıl yürütmenin vazgeçilmez bir kuralıdır. ✅