Littéral (logique)

Pour les articles homonymes, voir Littéral.

Cet article est une ébauche concernant la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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).

En logique propositionnelle, une variable P est un littéral, de même que sa négation ¬P ; les formes normales disjonctives sont les disjonctions de conjonctions de littéraux, ainsi que les littéraux seuls, les disjonctions et conjonctions de littéraux, et les disjonctions de conjonctions et de littéraux[1].

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).

## Notes et références

[modifier | modifier le code]

1. ↑ Willard Van Orman Quine, Methods of Logic, traduction française Maurice Clavelin, Armand Colin, Paris, 1973, p. 70.

## Articles connexes

[modifier | modifier le code]

* Forme normale disjonctive

## Bibliographie

[modifier | modifier le code]

* René Cori et Daniel Lascar, Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul des prédicats [détail des éditions]

* Portail de la logique