Propositional formula
= Propositional formula
A <propositional formula> is built from atomic propositions using <logical connectives>. Unlike a <first-order formula>, it has no quantifiers over individuals. A <Boolean valuation> interprets its atoms as truth values and evaluates its connectives recursively.