Sembolik (modern) Mantık

Sembolik (modern) Mantık Modern mantık, matematiksel kesinlikle hareket eden bir disiplindir. Matematiğin kesinliği, konusuna giren nicelikleri sembolleştirip bu semboller aracılığıyla işlem yapmasından kaynaklanmaktadır. Modern mantık da kendi kavramlarını sembolleştirerek son amaç olan çıkarımların geçerliliğini denetler. Sembolik Mantıkta Kullanılan Önerme Eklemleri Önerme eklemleri, basit önermeleri birleştirerek bileşik önerme yapan mantık değişmezleridir. Ayrıca önermelerin ve çıkarımların denetlenmesini de sağlar.