Propositional logic

Propositional logic refers to logic using propositions. It is not using mathematical variables, but uses statements and rules around the statements. Also known as propositional calculus