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

Aşağıdakilerden hangisi "her F G dir" önermesinin sembolleştirilmiş halidir?


∀x (Fx → Gx)

∀x (Fx → ~Gx)

∃x (Fx ∧ Gx)

∃x (Fx ∧ ~Gx)

∀x (Fx ∧ ~Gx)


Yanıt Açıklaması:

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

Yorumlar
  • 0 Yorum