propositional logic
noun
°A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
synonyms: propositional calculus