Littéral (logique)

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

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

Articles connexes

Bibliographie

  • René Cori et Daniel Lascar, Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul des prédicats [détail des éditions]
  • icône décorative Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.