Source: wikibot/propositional-calculus

= Propositional calculus
{wiki=Propositional_calculus}

Propositional calculus, also known as propositional logic or sentential logic, is a branch of logic that deals with propositions and their logical relationships and connectives. A proposition is a declarative sentence that is either true or false, but not both. Propositional calculus provides a formal framework to analyze the structure of propositions and how they can be combined and manipulated using logical operators.