What is another word for propositional calculus?
Pronunciation: [pɹˌɒpəzˈɪʃənə͡l kˈalkjʊləs] (IPA) 
Propositional calculus is an important concept in the field of mathematical logic. It is a branch of logic that deals with the formalized study of propositions. Synonyms for propositional calculus include propositional logic, sentential logic, statement logic, or zeroth-order logic. The term "propositional" refers to the notion that a proposition can be true or false. This is in contrast to predicate logic, which deals with the truth values of individual objects or entities. Other synonyms for propositional calculus may include propositional inference, propositional reasoning, or propositional calculus of statements. These synonyms are often used interchangeably to refer to the same concept in mathematical logic.
