Definition:Atom of Propositional Logic