Karşıtlık Karesi

karşıtlık karesi, geleneksel mantıkta, aynı özne ve yüklemle birlikte kategorik bir önermenin (bkz) veya ifadenin dört biçimini ikili ilişkileriyle birlikte sergileyen bir diyagram: A, E, I ve O, "Her S P'dir", "Hiçbir S P değildir", "Bazı S P'dir" ve "Bazı S P değildir" biçimindedir. Karede gösterildiği gibi, "Her kuğu beyazdır" ifadesi "Hiçbir kuğu beyaz değildir" ifadesinin zıttı ve "Bazı kuğular beyaz değildir" ifadesinin çelişkisidir. Bu formların birinden diğerine (maduniyette olduğu gibi) çıkarılan sonuçların doğrudan çıkarım yoluyla elde edildiği söylenir.