Propositional Variable
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A syntactic symbol in propositional logic that denotes an atomic proposition and can be assigned a truth value (true or false) in a given valuation.