Propositional Calculus

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.

Propositional Calculus

Areas of application

  • Computer Science
  • Artificial Intelligence
  • Mathematics
  • Philosophy
  • Law

Example

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.