Literal (matematička logika)

U matematičkoj logici, literal je atomička formula (atom) ili njena negacija. Literali se mogu podeliti u dva tipa:

• Pozitivni literal je samo atom.
• Negativni literal je negacija atoma.

Čist literal je literal, takav da je svako ponavljanje njegove promenljive u nekoj formuli istog znaka (ili svuda negirano, ili svuda nenegirano).

Literatura

• Buss, Samuel (1998). "An introduction to proof theory". Handbook of proof theory: 1–78, Elsevier. ISBN 978-0-444-89840-1.