Önermeler Mantığı
Matematik alanında sıkça karşılaşılan terimin anlamı şu şekildedir.
- Daha genel formüller formüle etmek için önermeler arasında mantıksal bağlaçlar kullanan ve önermeleri cebirsel yöntemlerle analiz eden bir mantık dalı.
- Diğer terim adları: mantık cebiri, Aussagenlogik, f; Aussagenkalkül, m, propositional calculus; propositional logic; sentential calculus; zeroth-order logic, logique des propositions, f; logique propositionnelle, f; calcul propositionnel, m, Agrilus cyanescens
Önemli bilgileri kontrol edin. Terimin farklı anlamlarını keşfetmek için Türkçe sözlük, Türkçe İngilizce sözlük, Latince sözlük, eş anlamlılar ve Mitoloji sözlüğüne göz atabilirsin.