Sembolik Mantık Deneme Sınavı Sorusu #1074935

“Hiçbir hayvan insan değildir.” önermesinin değili aşağıdakilerden hangisidir?


Bazı hayvanlar insan değildir.

Tüm hayvanlar insandır.

Bazı hayvanlar insandır.

Bazı insanlar hayvan değildir.

Tüm hayvanlar insandır.


Yanıt Açıklaması:

“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. 

Yorumlar
  • 0 Yorum