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

PAYLAŞ:

SORU:

?x (Fx › ?y (Gx ? Gy)) önermesinin {a, b} kümesindeki açılımını yazınız.


CEVAP:

(Fa › (Ga ? Ga) ? (Ga ? Gb)) ?
(Fb › ((Gb ? Ga) ? (Gb ? Gb)))