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