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

PAYLAŞ:

SORU:

{?x ?y (FA ? ~Fy), ?y (GB ? ~Fy)} önermeler kümesinde yüklem sembolleri hangileridir?


CEVAP:

{?x ?y (FA ? ~Fy), ?y (GB ? ~Fy)} önermeler kümesinde, F ve G yüklem sembolleridir.