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 ((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.