variables propositionnelles. En logique propositionnelle classique, une formule propositionnelle, ou expression propositionnelle, est une formule bien formée qui...

{\displaystyle {}{\mathcal {P}}} de variables propositionnelles. L'ensemble des propositions (ou formule propositionnelle) (sur P {\displaystyle {}{\mathcal {P}}}...

Les variables propositionnelles sont les éléments fondamentaux des formules propositionnelles, utilisés en logique propositionnelle et dans des logiques...

étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. Ce problème...

dans une formule propositionnelle, chaque variable propositionnelle peut être interprétée comme une proposition concrète, de sorte que la formule globale...

ensemble fini de formules propositionnelles. Alors qu'il est possible de déterminer algorithmiquement si une formule propositionnelle est démontrable ou...

Hermann, Paris, 1976 (ISBN 2-7056 5830-0), II 2.2, p. 48. Formule bien formée Formule propositionnelle Loi scientifique Monoïde Portail de la logique Portail...

logique temporelle linéaire n'est pas compacte. En calcul propositionnel, une formule propositionnelle est dite satisfaisable si l'on peut assigner [à définir]...

mathématique, une formule booléenne quantifiée (ou formule QBF pour quantified binary formula en anglais) est une formule de la logique propositionnelle où les variables...

montrer que toutes les preuves par réfutations en résolution de la formule propositionnelle qui dit « il y a n + 1 {\displaystyle n+1} pigeons dans n {\displaystyle...

des ensembles de formules propositionnelles sont équivalentes. Selon [Ferraris, 2005], la réduction d'une formule propositionnelle F {\displaystyle F}...

Coq du syllogisme Barbara par la logique propositionnelle a la Hilbert *) Section Logique_propositionnelle_a_la_Hilbert. Variable P Q R : Prop. (* le...

booléennes sont remplacées par des formules atomiques. Par exemple, la formule ci-dessus est la formule propositionnelle ( p ∨ q ) ∧ r ∧ s {\displaystyle...

minorant strict non nul (par conjonction avec une variable propositionnelle non présente dans la formule) ce qui n'est pas le cas des singletons pour l'ensemble...

Une attitude propositionnelle est la manière dont un sujet se comporte par rapport à une proposition. Les attitudes propositionnelles les plus courantes...

est la logique propositionnelle. En effet, un grand nombre de problèmes peuvent se résoudre via un codage en logique propositionnelle, et l'utilisation...

à partir de la tautologie propositionnelle précédente. Une telle formule est bien universellement valide, mais une formule peut être universellement valide...

trois types de connaissance : la connaissance propositionnelle est le fait de savoir qu'une certaine proposition est vraie, par exemple, « savoir que la Terre...

avec un nombre polynomial de portes logiques (en la taille de la formule propositionnelle à tester), alors la hiérarchie polynomiale s’effondre au second...

entrée : une formule de la logique propositionnelle paramètre : le nombre de variables propositionnelles différentes apparaissant dans la formule question :...

mathématique, une formule atomique ou atome est une formule qui ne contient pas de sous-formules propres. La structure d'une formule atomique dépend de...

d'une formule propositionnelle (problème SAT). Plus précisément, si une formule I {\displaystyle I} identifie les états initiaux du système, une formule F...

emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P {\displaystyle P} du...

une formule, e = e * e-1 et (e-1 * e)-1 = (e-1)-1 sont des formules closes. Lorsqu’une variable x {\displaystyle x} appartient à une sous-formule précédée...

seul, ni le premier : les stoïciens ont proposé un système de logique propositionnelle qui a été étudiée par les logiciens médiévaux. En outre, le problème...

la formule ϕ {\displaystyle \phi } . La sémantique de la formule est définie à partir des sémantiques des composants de la formule. Si la formule ϕ {\displaystyle...

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

antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles. On dit aussi que la formule est insatisfaisable...

que P et Q sont équivalentes. Dit autrement (en logique classique), la proposition P ⇔ Q prend la valeur « vraie » quand P et Q sont logiquement équivalentes...

mathématique, une proposition est une formule qui est construite à partir de variables propositionnelles et de connecteurs. Une proposition est susceptible...

interprétées en remplaçant chaque variable propositionnelle par une proposition. Par exemple une interprétation de la proposition ( P ∧ ¬ P ) ⟹ Q {\displaystyle (P\wedge...