« Modus ponens » : différence entre les versions


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Aucun résumé des modifications
Ligne 8 : Ligne 8 :
   
   
==Définition==
==Définition==
Le modus ponens, est une figure du raisonnement logique concernant l'implication. Elle consiste à affirmer une implication (« si ''A'' alors ''B'' ») et à poser ensuite l'antécédent: « or ''A'' », pour en déduire le conséquent: « donc ''B'' ». Le terme modus ponens est une abréviation du latin ''modus ponendo ponens'' qui signifie ''le mode qui, en posant, pose''. Il vient de ce qu'en ''posant'' (affirmant) ''A'', on ''pose'' (affirme) ''B''. Le '''syllogisme''' est une forme d'application du modus ponens.   
En calcul des propositions, le modus ponens, est une figure du raisonnement logique concernant l'implication. Elle consiste à affirmer une implication (« si ''A'' alors ''B'' ») et à poser ensuite l'antécédent: « or ''A'' », pour en déduire le conséquent: « donc ''B'' ». Le terme modus ponens est une abréviation du latin ''modus ponendo ponens'' qui signifie ''le mode qui, en posant, pose''. Il vient de ce qu'en ''posant'' (affirmant) ''A'', on ''pose'' (affirme) ''B''. Le '''syllogisme''' est une forme d'application du modus ponens.   


==Français==
==Français==
Ligne 17 : Ligne 17 :
   
   
==Anglais==
==Anglais==
'''Modus ponens'''
'''Modus ponens'''<small>




<small>




<br />
[https://fr.wikipedia.org/wiki/Modus_ponens <br />  Source: Wikipedia, ''Modus ponens''.]
[https://fr.wikipedia.org/wiki/Modus_ponens <br />  Source: Wikipedia, ''Modus ponens''.]


[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]]            ([[Discussion utilisateur:Claude COULOMBE | discussion]])   
[[Utilisateur:Claude COULOMBE | source : Claude Coulombe]]            ([[Discussion utilisateur:Claude COULOMBE | discussion]])   


[https://www.24pm.com/117-definitions/421-modus-ponens Source : 24pm Academy]
[https://www.24pm.com/117-definitions/421-modus-ponens Source : 24pm Academy]<br />

Version du 7 avril 2020 à 14:26

ajouter une redirection

Définition

En calcul des propositions, le modus ponens, est une figure du raisonnement logique concernant l'implication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite l'antécédent: « or A », pour en déduire le conséquent: « donc B ». Le terme modus ponens est une abréviation du latin modus ponendo ponens qui signifie le mode qui, en posant, pose. Il vient de ce qu'en posant (affirmant) A, on pose (affirme) B. Le syllogisme est une forme d'application du modus ponens.

Français

modus ponens (locution latine, masc.)

détachement (locution latine, masc.)


Anglais

Modus ponens





Source: Wikipedia, Modus ponens.

source : Claude Coulombe ( discussion)

Source : 24pm Academy