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)˅ |
Ɐx(Fx↔Gx)˄ |
|
Ɐx(Hx→Gx)˄ |
Ɐx(Fx→Gx)˄ |
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