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

Aşağıdakilerden hangisi "Bazı F ler G değildir" önermesinin sembolletirilmiş halidir?


∀x (Fx → ~Gx)

∃x (Fx ∧ Gx)

∀x (Fx ∧ ~ Gx)

∃x (Fx ∧ ~Gx)

∃x (Fx → ~ Gx)


Yanıt Açıklaması:

“Bazı F ler G değildir” önermesi “Bazı şeyler, F dir ve G değildir” ya da, daha
açık bir ifade ile, “Bazı şeyler için, o şey bir F dir ve bir G değildir” biçiminde
yorumlanır ve ∃x (Fx ∧ ~ Gx) biçiminde sembolleştirilir. Doğru cevap D seçeneğidir.

Yorumlar
  • 0 Yorum