Soru: "Bazı öğrenciler matematikten hoşlanır" önermesinin alt karşıt önermesi nedir?
Çözüm: Alt karşıt önermeler, aynı nitelikte (ikisi de tikel) ancak karşıt nitelikte (biri olumlu, diğeri olumsuz) olan önermelerdir. Verilen önerme "Bazı öğrenciler matematikten hoşlanır" I tipi (tikel olumlu) bir önermedir. Alt karşıtı, O tipi (tikel olumsuz) önermedir: "Bazı öğrenciler matematikten hoşlanmaz".