aof.sorular.net
Sembolik Mantık
Sembolik Mantık Deneme Sınavı
Sembolik Mantık Deneme Sınavı Sorusu #964522
Sembolik Mantık Deneme Sınavı Sorusu #964522
Aşağıdakilerden hangisi ?x ((Fx ? GA) ? (Gx › GB)) ? ?y (Gy - HB) çıkarımını denetleyebileceğimiz bir modeldir?
SM = {a, b}, FM = { }, GM= {a}, HM = {b}, AM = b, BM = b |
SM = {a, b}, FM = {a}, GM = {a,b}, HM = {b}, AM = a |
SM= {a, b, c}, FM = {b}, GM = {b,c}, HM = {b}, AM = c |
SM = {a}, FM = { }, GM = {a}, HM = {a}, AM= a |
SM = {a, b}, FM = {a}, GM = {a,b}, AM = a, BM = b |
Yanıt Açıklaması:
Aşağıdakilerin her biri ?x ((Fx ? GA) ? (Gx › GB)) ? ?y (Gy - HB) çıkarımını denetleyebileceğimiz bir modeldir:
(a) SM = {a, b}, FM = {a}, GM = {a,b}, HM = {a}, AM = a, BM = a
(b) SM = {a, b,c}, FM = GM = HM = {a}, AM = a, BM = b
(c) SM = {a, b}, FM = { }, GM= {a}, HM = {b}, AM = b, BM = b
Yorumlar
- 0 Yorum