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

Aşağıdakilerden hangisi "Hiçbir F G değildir" önermesinin sembolleştirilmiş halidir?


∀x (Fx → Gx)

∀x (Fx → ~Gx)

∃x (Fx ∧ Gx)

∃x (Fx → Gx)

∃x (Fx ∧ ~Gx)


Yanıt Açıklaması:


“Hiçbir F G değildir” önermesi, “Her şey, eğer F ise G değildir” ya da, daha
açık bir ifade ile, “Her şey için, eğer o şey bir F ise, o şey bir G değildir” biçiminde yorumlanarak, ∀x (Fx → ~ Gx) içiminde sembolleştirilir. Doğru cevap B seçeneğidir.

Yorumlar
  • 0 Yorum