propositional calculus

önermeler mantığı

1. • matematik
   Önermeler arasında mantık bağlaçlarını kullanarak daha genel formüllerin oluşturulmasını sağlayan ve önermeleri cebirsel yöntemlerle inceleyen mantık dalı.
   Eşanlam:  mantık cebiri
   İngilizce propositional calculus; propositional logic; sentential calculus; zeroth-order logic

   Fransızca logique des propositions, f; logique propositionnelle, f; calcul propositionnel, m

   Almanca Aussagenlogik, f; Aussagenkalkül, m