Propositional Calculation

Propositional Calculation

Branch of mathematical logic in which we apply the rules and methods of calculation on propositions or propositional forms.

In propositional calculation, we use the propositional variables P, Q, R, S, etc., connectors between these variables, and parentheses with which we define statements or propositions, and we choose some of them as true statements that are then called axioms of propositional calculation.


\(\neg(\textrm{P}\ ∧ \textrm{Q})↔\neg{\textrm{P}} ∨ \neg{\textrm{Q}}\)

Try Buzzmath activities for free

and see how the platform can help you.