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

F: a sporcudur.
G: a başarılıdır.
H: a çok çalışmıştır.
Yukarıdaki çeviri anahtarına göre x((Gx^Fx)›Hx)^y(Fy^Hy^ ? Gy) sembolik önermesinin günlük hayatta karşılığı aşağıdakilerden hangisidir?


Çok çalışan bütün sporcular başarılıdır. Bazı sporcular başarılı değildir.

Bütün sporcular çok çalışmıştır. Her sporcu başarılı değildir.

Çok çalışan her sporcu başarılıdır.

Başarılı bütün sporcular çok çalışanlardır fakat bazı çok çalışan sporcu başarılı değildir.

Başarılı ve çok çalışan herkes sporcudur.


Yanıt Açıklaması:

?x((Gx^Fx)›Hx) önermesinde her başarılı sporcunun çok çalıştığı belirtilmektedir. y(Fy^Hy^ ? Gy) önermesi ise bazı çok çalışan sporcuların başarılı olmadığını söylemektedir.

Yorumlar
  • 0 Yorum