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

PAYLAŞ:

SORU:

?x ((Fx ? GA) ? (Gx › GB)) ? ?y (Gy ´ HB) çıkarımında yüklem
sembolleri hangileridir?


CEVAP:

?x ((Fx ? GA) ? (Gx › GB)) ? ?y (Gy ´ HB) çıkarımında, F, G ve H yüklem
sembolleridir.