« Modus ponens » : différence entre les versions


mAucun résumé des modifications
Balise : Éditeur de wikicode 2017
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(41 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
==Définition==
En calcul des propositions, le modus ponens est une règle d'inférence, qui peut être résumée de la manière suivante: « A implique que B et A soient déclarés vrais, donc B doit être vrai ». Le terme modus ponens est une abréviation du latin ''modus ponendo ponens'' qui signifie « la méthode qui, en affirmant, affirme ». Il vient de ce qu'en posant ''A'', on pose ''B''. 


== Domaine ==
Le '''[[syllogisme]]''' est une forme d'application du modus ponens.  
[[Category:Vocabulary]]<br/>
[[Category:Intelligence artificielle]]Intelligence artificielle<br/> 
[[Catégorie:Logique des propositions]]Logique des propositions<br/>
[[Catégorie:Raisonnement automatique]] Raisonnement automatique<br/>
[[Category:Coulombe]]<br/>
[[Catégorie:Scotty]]<br/>
== Définition ==
La locution latine «modus ponens» ou plus plus précisément «modus ponendo ponens» 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 «méthode d'affirmation». On parle aussi d'une règle d'inférence ou d'un syllogisme conditionnel.  


== Français ==
==Français==
modus ponens
'''modus ponens'''  <small> locution latine </small>


Note: Locution latine.
'''détachement''' 
   
   
Source:
==Anglais==
'''modus ponens'''
 


https://fr.wikipedia.org/wiki/Modus_ponens  
==Sources==
[https://fr.wikipedia.org/wiki/Modus_ponens   Source : Wikipédia, ''Modus ponens''.]
== Anglais ==


=== Modus ponens ===
[[Utilisateur:Claude COULOMBE | Source : Claude Coulombe]]           ([[Discussion utilisateur:Claude COULOMBE | discussion]]) 
Modus ponens, a short form of modus ponendo ponens (Latin for "the way that affirms by affirming"; generally abbreviated to MP or modus ponens[1]) is a rule of inference in propositional logic.[2] It is also called implication elimination as this inference rule can be used to replace the condition by the consequence in the arguments. It can be summarized as "(1) (P implies Q) and (2) (P) are asserted to be true, and therefore Q must be true." The history of modus ponens goes back to antiquity.[3]


Modus ponens is closely related to another valid form of argument, modus tollens. Both have apparently similar but invalid forms such as affirming the consequent, denying the antecedent, and evidence of absence. Constructive dilemma is the disjunctive version of modus ponens. Hypothetical syllogism is closely related to modus ponens and sometimes thought of as "double modus ponens."
[https://www.24pm.com/117-definitions/421-modus-ponens Source : 24pm Academy]


<br/>
[[Catégorie:ENGLISH]]
<br/>
[[Category:GRAND LEXIQUE FRANÇAIS]]
<br/>
<br/>
<br/>
<br/>
<br/>

Dernière version du 28 janvier 2024 à 09:59

Définition

En calcul des propositions, le modus ponens est une règle d'inférence, qui peut être résumée de la manière suivante: « A implique que B et A soient déclarés vrais, donc B doit être vrai ». Le terme modus ponens est une abréviation du latin modus ponendo ponens qui signifie « la méthode qui, en affirmant, affirme ». Il vient de ce qu'en posant A, on pose B.

Le syllogisme est une forme d'application du modus ponens.

Français

modus ponens locution latine

détachement

Anglais

modus ponens


Sources

Source : Wikipédia, Modus ponens.

Source : Claude Coulombe ( discussion)

Source : 24pm Academy

Récupérée de « https://datafranca.org/wiki/index.php?title=Modus_ponens&oldid=90187 »

Contributeurs: Claire Gorjux, Claude Coulombe, Jacques Barolet, wiki