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

PAYLAŞ:

SORU:
Nicelemeli Bir Önermenin Bir Evrende Açılımına bir örnek veriniz.

CEVAP:
A = ?y ((Fx ? Gy) ? (Gy › Hx)) olsun. A formülünün tek serbest değişkeni
x olduğundan, A(a) ifadesi A formülünde x değişkeninin her geçişi yerine a
elemanının konması ile elde edilir: A(a) = ?y ((Fa ? Gy) ? (Gy › Ha)) . Aynı
şekilde, A(b) = ?y ((Fb ? Gy) ? (Gy › Hb)) .

NİCELENMİŞ ÖNERMELERİN YORUMLANMASI İle İlgili Bütün Soru Cevaplara Geri Dön