Propositional calculus
Symbolic AI; Computer Science Fundamentals
noun phrase
Definition: A formal logical system for representing and reasoning about whole propositions and their combinations by means of propositional connectives, without analysing internal predicate structure [Britannica].
Examples in context: “To test this in a controlled scenario, we look at proofs in propositional calculus, foundational for other logic systems, semantically complete and widely discussed online.” [Dias-Alexiou et al. 2025]
“This tool only takes a propositional logic formula as input, and has no information about high-level interpretations of what the different variables mean, or which ordering of these variables might seem more or less natural from the point of view of a human observer.” [Bogaerts et al. 2023]
Synonyms: propositional logic; statement logic; sentential calculus; sentential logic; zeroth-order logic
Related terms: predicate calculus; Boolean logic; formal logic; satisfiability