Littéral (logique)
- Littéral (logique)
-
Pour les articles homonymes, voir
Littéral.
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
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]
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Littéral (logique) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Litteral (logique) — Littéral (logique) Pour les articles homonymes, voir Littéral. 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… … Wikipédia en Français
Logique des propositions — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Logique propositionnelle — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Litteral — Littéral Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom … Wikipédia en Français
LOGIQUE INDIENNE — Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d’un bout à l’autre de son histoire, que dans la tradition occidentale. Ce n’est que dans les années 1930 que la plupart des Occidentaux ont… … Encyclopédie Universelle
Littéral — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Littéral », sur le Wiktionnaire (dictionnaire universel) L adjectif littéral qualifie ce qui a rapport … Wikipédia en Français
Proposition (logique mathématique) — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… … Wikipédia en Français
Calcul littéral — Calcul (mathématiques) En mathématiques, un calcul est une opération ou un ensemble d opérations effectuées sur des grandeurs[1]. Initialement ces grandeurs étaient des nombres mais le développement des outils mathématiques et de l abstraction… … Wikipédia en Français
FND — Forme normale disjonctive Article principal : Calcul des propositions. En logique booléenne ou en Calcul des propositions, une forme normale disjonctive (FND) est une normalisation d une expression logique qui est une disjonction de clauses… … Wikipédia en Français
Forme normale disjonctive — Article principal : Calcul des propositions. En logique booléenne ou en Calcul des propositions, une forme normale disjonctive (FND) est une normalisation d une expression logique qui est une disjonction de clauses conjonctives. Elle est… … Wikipédia en Français