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.
Articles by others on the same topic
A propositional formula is a type of mathematical expression used in propositional logic, which deals with propositions that can be either true or false. Propositional formulas are constructed using propositional variables (which represent simple statements), logical connectives, and parentheses to define the structure of the formula.