(mat. mantık cebiri) (Alm. Aussagenlogik, f; Fr. logique des propositions, f; İng. propositional calculus; propositional logic; sentential calculus)
mat. Ö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ı.