Soru: Aşağıdaki önerme çiftlerinden hangisi alt karşıt önermelerdir?
a) "Bazı hayvanlar memelidir" - "Bazı hayvanlar memeli değildir"
b) "Tüm insanlar ölümlüdür" - "Hiçbir insan ölümlü değildir"
c) "Bazı çiçekler güzel kokar" - "Tüm çiçekler güzel kokar"
Çözüm: Alt karşıt önermeler, ikisi de tikel (I veya O tipi) ve biri olumlu diğeri olumsuz olan önermelerdir.
a) "Bazı hayvanlar memelidir" (I tipi) ve "Bazı hayvanlar memeli değildir" (O tipi) → İkisi de tikel ve karşıt nitelikte, bu nedenle alt karşıttırlar.
b) "Tüm insanlar ölümlüdür" (A tipi, tümel) ve "Hiçbir insan ölümlü değildir" (E tipi, tümel) → İkisi de tümel, alt karşıt değildir.
c) "Bazı çiçekler güzel kokar" (I tipi) ve "Tüm çiçekler güzel kokar" (A tipi, tümel) → Biri tikel diğeri tümel, alt karşıt değildir.
Doğru cevap: a seçeneğidir.