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

“Hiçbir F, G değildir.” önermesi aşağıdakilerden hangisi ile sembolleştirilir?


Ɐ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 G değildir” biçiminde yorumlarsak, Ɐx (Fx → ~Gx) biçiminde sembolleştirilir.

Yorumlar
  • 0 Yorum