Bir mantık öğrencisi, "Hiçbir gezegen yıldız değildir" önermesini analiz ediyor. Bu önerme için aşağıdakilerden hangisi doğrudur?
A) Tümel olumlu önermedir, çünkü tüm gezegenlerin yıldız olmadığını söyler.
B) Tikel olumsuz önermedir, çünkü bazı gezegenlerin yıldız olmadığını ifade eder.
C) Tümel olumsuz önermedir, çünkü gezegenler sınıfının tümünün yıldızlar sınıfından tamamen ayrı olduğunu belirtir.
D) Tekil olumsuz önermedir, çünkü belirli bir gezegenin yıldız olmadığını söyler.