Definition:Literal/Negative
Jump to navigation
Jump to search
Definition
A negative literal is the negation $\neg p$ of an atom $p$ of propositional logic.
Also see
Sources
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2.6.1$: Definition $2.57$