« Modus ponens » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
==Domaine== | ==Domaine== | ||
[[Category:Intelligence artificielle]] | [[Category:Intelligence artificielle]] | ||
Intelligence artificielle<br /> | Intelligence artificielle<br /> | ||
| Ligne 9 : | Ligne 7 : | ||
[[Catégorie:Raisonnement automatique]] | [[Catégorie:Raisonnement automatique]] | ||
Raisonnement automatique<br /> | Raisonnement automatique<br /> | ||
[[Category: | [[Category:Coulombe2]] | ||
[[Catégorie:Scotty2]] | |||
[[Catégorie: | [[Category:GRAND LEXIQUE FRANÇAIS]] | ||
[[ | |||
<br /> | <br /> | ||
| Ligne 33 : | Ligne 30 : | ||
[https://fr.wikipedia.org/wiki/Modus_ponens <br /> Source: Wikipedia] | [https://fr.wikipedia.org/wiki/Modus_ponens <br /> Source: Wikipedia] | ||
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]] ([[Discussion utilisateur:Claude COULOMBE | discussion]]) | |||
<br /> | <br /> | ||
Version du 22 mai 2019 à 21:31
Domaine
Intelligence artificielle
Logique des propositions
Raisonnement automatique
Définition
Le modus ponens, une forme abrégée de modus ponendo ponens (latin pour « la méthode qui affirme en affirmant » est une règle d'inférence dans la logique propositionnelle. Il désigne un raisonnement logique déductif classique qui part de l'implication « si A alors B », puis posant l'antécédent «A» en déduit le conséquent «B». Rappelons que la locution latine modus ponens signifie « mode d'affirmation ». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel.
Français
modus ponens (locution latine, masc.)
MP
Anglais
Modus ponens
source : Claude Coulombe ( discussion)
Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki
