Literal

În logica propozițională , un literal este o formulă atomică sau negația sa.

Un literal poate fi de două tipuri: pozitiv sau negativ.

Dat fiind un literal $L$ ${\ displaystyle l}$ $L$ , complementul său este un literal reprezentat cu negarea lui $L$ ${\ displaystyle l}$ $L$ , și este scris cu ${\bar {l}}$ ${\ displaystyle {\ bar {l}}}$ ${\ displaystyle {\ bar {l}}}$ . Mai exact, dacă $l\equiv x$ ${\ displaystyle l \ equiv x}$ ${\ displaystyle l \ equiv x}$ asa de ${\bar {l}}$ ${\ displaystyle {\ bar {l}}}$ ${\ displaystyle {\ bar {l}}}$ Și $\lnot x$ ${\ displaystyle \ lnot x}$ ${\ displaystyle \ lnot x}$ si daca $l\equiv \lnot x$ ${\ displaystyle l \ equiv \ lnot x}$ ${\ displaystyle l \ equiv \ lnot x}$ asa de ${\bar {l}}$ ${\ displaystyle {\ bar {l}}}$ ${\ displaystyle {\ bar {l}}}$ Și $X$ ${\ displaystyle x}$ $X$ .

În contextul unei formule în formă normală conjunctivă , se spune că un literal este pur dacă complementul său nu apare în formulă.

Bibliografie

Giorgio Ausiello, Fabrizio D'Amore, Giorgio Gambosi, Limbaje de modelare a complexității, Milano, Franco Angeli Editore, 2003, ISBN 88-464-4470-1 .
( EN ) Samuel R. Buss, An introduction to proof theory , în Samuel R. Buss (ed.), Handbook of proof theory , Elsevier, 1998, pp. 1–78, ISBN 0-444-89840-9 .

Portal IT

Portalul de matematică