aof.sorular.net
Sembolik Mantık
Sembolik Mantık Deneme Sınavı
Sembolik Mantık Deneme Sınavı Sorusu #444752
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