Definition
Atom (Propositional Logic)
An atom (or propositional variable) is a basic propositional symbol such as
, to which an interpretation assigns a truth value. Atoms are the base case of the formula grammar: they are formulas themselves, and every other formula is built from them by logical connectives.