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

Aşağıdakilerden hangisi ?x ((Fx ? GA) ? (Gx › Hx)) önermesini denetleyebileceğimiz modellerden biridir?

SM = {a, b}, FM = {a}, GM = {a,b}, HM = {a}, AM = a, BM = a

SM = {a, b,c}, FM = GM = HM = {a}, AM = a, BM = b

SM = {a, b}, FM = { }, GM= {a}, HM = {b}, AM = b, BM = b

SM = {a, b}, FM = {a}, GM = {a,b}, AM = a, BM = b

SM= {a, b, c}, FM = {b}, GM = {b,c}, HM = {b}, AM = c

Yanıt Açıklaması:

Aşağıdaki modellerin her biri ?x ((Fx ? GA) ? (Gx › Hx)) önermesini denetleyebileceğimiz birer modeldir:
(a) SM = {a, b}, FM = {a}, GM = {a,b}, HM = {b}, AM = a
(b) SM= {a, b, c}, FM = {b}, GM = {b,c}, HM = {b}, AM = c
(c) SM = {a}, FM = { }, GM = {a}, HM = {a}, AM= a

PAYLAŞ:

SORUNUN CEVABI: E

Sınava Dön Hata Bildir

Yorumlar

0 Yorum