eng

önermeler mantığı  nedir?

önermeler mantığı 

(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ı.

TUBA Matematik Terimleri Sözlüğü