SEMBOLİK MANTIK Dersi YÜKLEM VE NİCELEYİCİLER soru detayı:

CEVAP:

“Bazı F G dir” önermesinin değili “Bazı F G değildir” önermesi değil, “Hiçbir F G değildir” önermesidir. Bunun nedenini kolayca görebiliriz: Çoğu durumda, hem “Bazı F G dir” önermesi hem de “Bazı F G değildir” önermesi birlikte doğrudur. Örneğin, hem “Bazı insanlar filozoftur” önermesi hem de “Bazı insanlar filozof değildir” önermeleri doğrudur. Buna göre, “Bazı F G dir” önermesinin değili “Bazı F G değildir” önermesi olamaz çünkü değilleme kuralları gereği A ve ~A önermelerinin ikisi birlikte doğru olamaz.