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

PAYLAŞ:

SORU:
{?x ?y (FA ? ~Fy), ?y (GB ? ~Fy)} önermeler kümesini denetleyeceğiniz bir model oluşturunuz.

CEVAP:
Aşağıdakilerin her biri {?x ?y (FA ?~Fy), ?y (GB ? ~Fy)} önermeler kümesini denetleyebileceğimiz bir modeldir:
(a) SM = {a, b}, FM = {a}, GM = {a,b}, AM = a, BM = b,
(b) SM = {a, b, c}, FM = {b}, GM = {b,c}, AM = c, BM = c,
(c) SM = {a}, FM = { }, GM = {a,b}, AM = a, BM = a

NİCELENMİŞ ÖNERMELERİN YORUMLANMASI İle İlgili Bütün Soru Cevaplara Geri Dön