Wikiversité

« Implication et équivalence/Contraposées » : différence entre les versions

Navigation interactive dans l’historique
← Modification précédenteModification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
maintenance
m ménage + lien wikipédia
Ligne 6 :
| niveau = 14
}}
{{Wikipédia|Proposition contraposée|Proposition contraposée}}
 
{{clr}}
Soit '''''p''''' et '''''q''''' deux propositions.
 
{{Définition
| titre = Contraposée
| contenu =Soit '''''p''''' et '''''q''''' deux propositions.
SiLa contraposée de <math>p \Rightarrow q</math>, alorsest : <math>\overlinelnot q \Rightarrow \overlinelnot p</math>.
}}
 
La contraposée est la base du [[Fondements des mathématiques/La logique/Déduction naturelle#Le principe du raisonnement par l'absurde|raisonnement par l'absurde]].
 
{{Bas de page
| idfaculté = mathématiques
Récupérée de « https://fr.wikiversity.org/wiki/Implication_et_équivalence/Contraposées »