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

PAYLAŞ:

SORU:

?x ((Fx ? GA) ? (Gx › GB)) ? ?y (Gy ´ HB) çıkarımında hangi ad sembolleri geçmektedir?


CEVAP:

?x ((Fx ? GA) ? (Gx › GB)) ? ?y (Gy ´ HB) çıkarımında A ve B ad sembolleri geçmektedir.