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

F: a bir insandır.
G: a bir filozoftur.
H: a bir sorgulayıcıdır.
“Bütün insanlar filozoftur ancak ve ancak sorgulayıcı iseler.” ifadesinin yukarıdaki çeviriye göre anahtarı aşağıdakilerden hangisidir?


Ɐx(Fx→(Gx↔Hx))

x(Fx→(Gx↔Hx))

Ɐx(Fx↔(Gx↔Hx))

Ɐx(Fx↔(Gx→Hx))

Ɐx(Gx→(Fx↔Hx))


Yanıt Açıklaması:

Verilen ifade bütün insanlar ile başladığından ⱯxFx ile başlamamız gerekmektedir. Filozof olmanın gerekli ve yeterli koşulu sorgulayıcı olmak olduğundan Gx↔Hx önermesi gereklidir ve bu durumun ilk şartı da insan olmak olduğundan Ɐx(Fx→(Gx↔Hx)) önermesine gerek vardır.

Yorumlar
  • 0 Yorum