aof.sorular.net
Sembolik Mantık
SEMBOLİK MANTIK Dersi NİCELEME MANTIĞINDA ÇÖZÜMLEYİCİ ÇİZELGE YÖNTEMİ soru cevapları
SEMBOLİK MANTIK Dersi NİCELEME MANTIĞINDA ÇÖZÜMLEYİCİ ÇİZELGE YÖNTEMİ soru detayı:
SORU:
Tikel-niceleyicinin değillenmesi kuralı nedir? Açıklayınız.
CEVAP:
~?? A ve ?? ~A önermeleri niceleme mantığında eşdeğer önermeler olduğundan, daldaki bir üst noktada ~?? A ifadesi varsa, o dalda bir nokta olarak ?? ~A ifadesi eklenir.