definitionlogic Definition A propositional variable or negation of a propositional variable. Examples