« Implication et équivalence/Contraposées » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\s*\|\s*leçon\s*=\s*\[\[\.\.\/\]\] +) |
m Retrait des catégories en double |
||
Ligne 17 :
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]].
| |||