literal

{{logic}} A propositional variable or the negation of a propositional variable.^{[http://en.wikipedia.org/wiki/Resolution_%28logic%29]}