Résultats de la recherche

{{ébauche|logique}} Une '''valeur de vérité''' est une valeur attribuée à chaque proposition logique. ...

...[[Démonstration formelle|démonstration logique]]. Elle est l'[[inférence (logique)|inférence]] selon laquelle si une déclaration <math>P</math> implique une ...Q</math>, et <math>R \to Q</math> et <math>P \lor R</math> dans un système logique; ...

...opositionnelle]]<ref>{{Ouvrage|prénom1=Jean B.|nom1=Murhega|titre=Essai de logique conceptuelle|éditeur=Publibook/Société des écrivains|année=26 avril 2012|pa Au sein de cette logique elle exprime la [[Négation logique|négation]] de l'[[implication matérielle|implication]]. Cela revient à dire ...

...|valide]], qui prend la forme d'un [[syllogisme]] ayant une [[Implication (logique)|implication]] pour un ou deux de ses [[Prémisse|prémisses]]<ref>Hurley</re ...classique]] qui ne sont pas toujours acceptées dans certains systèmes de [[logique non-classique]]. La règle peut être déclaré comme suit: ...

En [[logique propositionnelle]], le '''modus ponendo tollens''' (du [[latin]]: « mode qu En [[Liste de symboles logiques|notation logique]], ceci peut être représenté comme suit : ...

...eur'''. A titre d'exemple, le [[circuit intégré 7404]] intègre six [[Porte logique|portes logiques]] inverseuses du type NON. * [[Fonction logique]] ...

...vent l'être aussi. Le ''dilemme constructif ''est la version [[Disjonction logique|disjonctive]] du [[modus ponens]], alors que, le [[dilemme destructif]] est ...Q</math>, <math>R \to S</math>, et <math>Q \lor S</math> dans un [[système logique]]; ...

{{ébauche|logique}} ...gallica}}, notamment l'appendice intitulé {{lien web | titre = ''Précis de logique classique''| url = https://gallica.bnf.fr/ark:/12148/bpt6k110843d/f456}}</r ...

{{à recycler |date=novembre 2016|thème=logique}} ...évrier 2014}}</ref> est une {{quoi | [[inférence immédiate]]}} [[Validité (logique)|valide]], {{pas clair | sous forme d'argument et de [[règle d'inférence]] ...

{{À sourcer|date=septembre 2016}}{{Article court|Règle d'introduction (logique) | disjonction|calcul des séquents | déduction naturelle}} ...dans une [[Démonstration formelle|démonstration]]. Elle est l'[[inférence (logique)|inférence]] selon laquelle si ''P ''est vrai, alors ''P ou Q'' doit être v ...

...(''OR'' en anglais) est un [[opérateur logique]] de l'[[algèbre de Boole (logique)|algèbre de Boole]]. À deux [[Opérande|opérandes]], qui peuvent avoir chacu * [[Fonction logique]] ...

...En [[logique]] et en [[mathématiques]], la '''négation''' est un opérateur logique [[Arité|unaire]]. Il sert à nier une proposition. ...th> dénote une [[contradiction]]. Cette équivalence est aussi valable en [[logique intuitionniste]] et permet ainsi de prouver la négation d'une proposition. ...

== Logique == En logique, un monôme est une conjonction de littéraux. Une disjonction de monômes est ...

{{Ébauche|logique}} ...AAAAQBAJ&printsec=frontcover}}</ref>. Celle-ci appartient aux classes de [[logique floue t-norme]]<ref name="Hájek1998">Hájek P., 1998, ''Metamathematics of F ...

...(''NOR'' en anglais) est un [[opérateur logique]] de l'[[algèbre de Boole (logique)|algèbre de Boole]]. À deux [[opérande]]s, qui peuvent avoir chacun la vale Cette fonction logique correspond aux mots français ''ni... ni'', car la phrase ''ni A ni B'' est ...

...ique|conjonction]], l'[[Implication (logique)|implication]], la [[Négation logique|négation]], etc.) sont des [[Règle d'inférence|règles d'inférence]] que l'o ...tzen]]|traducteur=R. Feys et J. Ladrière|titre=Recherches sur la déduction logique|titre original=Untersuchungen über das logische schließen|éditeur=Presses U ...

En [[logique mathématique]], un '''prédicat''' d'un langage est une propriété des objets ...e]] ou d'arité 3 etc.), etc. Un prédicat d'arité ''n'' s'interprète, en [[logique classique]], par une fonction à ''n'' argument sur l'univers du discours, e ...

...cédents]] est faux. Le ''dilemme destructif'' est la version [[Disjonction logique|disjonctive]] du ''[[modus tollens]]'', alors que, la version disjonctive d ...<math>R \to S</math>, et <math>\neg Q \lor \neg S</math> dans un [[système logique]]; ...

...)|valide]], qui prend la forme d'un [[syllogisme]] ayant une [[Disjonction logique|déclaration disjonctive]] dans l'une de ses [[prémisse]]s<ref name="Hurley" ...la déclaration. La règle permet d'éliminer une disjonction d'une [[preuve logique]]. Il est la règle selon laquelle: ...

{{Ébauche|logique}} ...ils sont tous les deux [[Négation logique|négatifs]]. C'est l'[[inférence (logique)|inférence]] de la vérité de « ''A'' implique ''B »'' à la vérité de « non' ...