Sembolik mantık, önermeler cebirini konu edinir. Yani önermelerdeki bağlaçları ve önermelerin doğruluk değerlerini inceler.
Matematiksel mantık ise, sembolik mantığı ve ayrıca yüklemler mantığını, önermeler mantığını ve bulanık mantığı içerir.
Mantık matematiğin her konusuyla, ama özellikle bilgisayar bilimleriyle ve küme teorisiyle ilgilidir.
Tüm Reklamları Kapat
