Sembolik Mantık

SEMBOLİK MANTIK

Çıkarımları sembolik bir dille denetlemek için geliştirilmiştir
Çıkarım eldeki bilgilerden bir sonuç çıkarma işlemidir
Eldeki bilgilerden beklenen sonuçların çıkıp çıkmadığını araştırmaya denetleme denir
Sembolik mantık günlük dildeki önermeleri semboller yardımıyla çok anlamlılığa ve belirsizliğe yer vermeden denetleyebilmeyi sağlar

A Önermeler Mantığı

B Yüklemler Mantığı

__________________