Littéral (logique)

Littéral (logique)
Page d'aide sur l'homonymie 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

  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]


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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”