Propositional calculus, also known as propositional logic, statement logic, sentential calculus, or sentential logic, is a branch of logic that deals with propositions and the relationships between them.
For example, consider the proposition ‘John likes pizza’ and the proposition ‘Mary likes ice cream’. These propositions can be combined using logical operators such as ‘and’ or ‘or’ to form new propositions. For instance, the proposition ‘John likes pizza and Mary likes ice cream’ can be derived by combining the two individual propositions.