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

PAYLAŞ:

SORU:
?x ((Fx ? GA) ? (Gx › GB)) ? ?y (Gy ´ HB) çıkarımını denetleyeceğimiz bir M modelinde kümenin elemanlarını yazınız.

CEVAP:
?x ((Fx ? GA) ? (Gx › GB)) ? ?y (Gy ´ HB) çıkarımında, F, G ve H yüklem
sembolleri, A ve B ad sembolleri geçmektedir. Dolayısıyla, bu çıkarımı denetleyebileceğimiz bir M modeli, modelin evreni olarak bir SM kümesinden, F, G ve H
yüklemlerinin herbiri için SM kümesinin FM, GM, HM altkümelerinden, A ve B ad
sembollerinin karşılığı olarak SM kümesinin AM ve BM elemanlarından oluşmalıdır.

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