Soru:
q: "Tüm öğrenciler sınavdan geçti." önermesinin değilini (q') bulunuz.
Çözüm:
💡 "Tüm" (∀) gibi niceleyicilerin değili alınırken, "en az bir" (∃) veya "bazı" ifadesi kullanılır ve yüklem olumsuz yapılır.
- ➡️ Verilen önerme: q = "Tüm öğrenciler sınavdan geçti."
- ➡️ Bu önermenin değili, "Tüm öğrenciler geçti" ifadesinin yanlış olduğu durumdur. Yani "En az bir öğrenci geçemedi" demektir.
- ➡️ Matematiksel mantık kuralı: "∀x, P(x)" nin değili "∃x, P'(x)" tir.
- ➡️ Buna göre: q' = "Bazı öğrenciler sınavdan geçemedi." veya "En az bir öğrenci sınavdan kaldı."
✅ Sonuç: q' = "Bazı öğrenciler sınavdan geçemedi."
