propositional logic

Definitions

A branch of symbolic logic that deals with propositions and their logical relationships using connectives such as 'and', 'or', and 'not'.

A formal system in which formulas represent propositions that can be combined and manipulated to determine truth values.