SEMBOLİK MANTIK Dersi NİCELENMİŞ ÖNERMELERİN YORUMLANMASI soru detayı:

CEVAP:

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