Bir üniversite, tüm öğrencilerinin belli bir dersi başarıyla tamamlayıp tamamlamadığını kontrol eden bir sistem geliştirmek istiyor. Eğer tüm öğrenciler bu dersi geçmişse, bir tebrik mesajı gösterilecektir. Bu durumu ifade etmek için hangi mantıksal niceleyici en uygunudur?
(Dikkat: Algoritmanın bu kontrolü nasıl yapacağı değil, ifadeyi matematiksel mantık olarak nasıl kuracağımız önemlidir.)
A) Bütün (Her) öğrenciler bu dersi başarmıştır.
B) Bazı öğrenciler bu dersi başarmıştır.
C) Hiçbir öğrenci bu dersi başarmamıştır.
D) En az bir öğrenci bu dersi başaramamıştır.
E) Tüm öğrenciler bu dersi başarısız olmuştur.