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.