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

F: a bir kuştur.
G: a kanatlıdır.
H: a uçar.
“Bütün kuşlar kanatlıdır yalnız bazı kuşlar uçabilir.” ifadesinin yukarıdaki çeviriye göre anahtarı aşağıdakilerden hangisidir?


Ɐx(Fx→Gx)˅y(Fy˅Hy)

Ɐx(Fx↔Gx)˄y(Fy˅Hy)

x(Fx→Gx)˄Ɐy(Fy˄Hy)

Ɐx(Hx→Gx)˄y(Fy˄Hy)

Ɐx(Fx→Gx)˄y(Fy˄Hy)


Yanıt Açıklaması:

Bütün kuşlar kanatlıdır kısmını yazacak olursak Ɐx(Fx→Gx) şeklinde gösterilir. Devamında gelen yalnız bazı kuşlar uçabilir kısmı için ise y(Fy˄Hy) önermesi gereklidir. Fakat bağlacının karşılığı “˄” işareti olduğundan doğru cevap Ɐx(Fx→Gx)˄y(Fy˄Hy).

Yorumlar
  • 0 Yorum