aof.sorular.net
Sembolik Mantık
SEMBOLİK MANTIK Dersi NİCELENMİŞ ÖNERMELERİN YORUMLANMASI soru cevapları
SEMBOLİK MANTIK Dersi NİCELENMİŞ ÖNERMELERİN YORUMLANMASI soru detayı:
SORU:
{?x ?y (FA ? ~Fy), ?y (GB ? ~Fy)} önermeler kümesini denetleyeceğimiz bir M modelinde kümenin elemanlarını yazınız.
CEVAP:
bu önermeler kümesini denetleyebileceğimiz bir M modeli, modelin evreni olarak bir SM kümesinden, F ve G yüklemlerinin herbiri için SM kümesinin FM ve GM altkümelerinden, A ve B ad sembollerinin karşılığı olarak SM kümesinin AM ve BM elemanlarından oluşmalıdır.