Littéral (logique)
Un article de Wikipédia, l'encyclopédie libre.
En logique mathématique, un littéral est un atome (aussi appelé littéral positif) ou la négation d'un atome (aussi appelé littéral négatif).
Un littéral unitaire (resp. pur ou monotone) est un littéral apparaissant dans une clause unaire (resp. un littéral dont le litteral opposé n'apparait pas dans la formule).
[modifier] Bibliographie
- R. Cori et D. Lascar, Logique mathématique, Dunod, 2003, ISBN 210005452X
