Definition
Atom
An atom (or atomic proposition) is a basic propositional symbol that can be assigned a truth value.
Propositional Logic
In propositional logic, atoms are the smallest building blocks of well formed formulas.
Atom
An atom (or atomic proposition) is a basic propositional symbol that can be assigned a truth value.
In propositional logic, atoms are the smallest building blocks of well formed formulas.