Favicon Vikidia.png Les associations Vikidia et Wikimédia France ont besoin de vous ! Wikimedia France logo.svg

Les associations Vikidia et Wikimédia France ont besoin de votre aide pour participer à une enquête sur les contributeurs et visiteurs de Vikidia. Cela ne vous prendra que 10 minutes et nous permettra de mieux vous connaître et d'améliorer l'encyclopédie.
Vous avez du 12 juillet au 30 septembre pour y répondre. Nous vous en remercions par avance !

Répondre au sondage !

Contraposée

« Contraposée » expliqué aux enfants par Vikidia, l’encyclopédie junior
Aller à : navigation, rechercher

La contraposée d’une propriété est sa réciproque mise à la forme négative.

Attention Ne pas confondre contraposée et réciproque !

Exemple[modifier | modifier le wikicode]

On a la propriété suivante : Si je suis en mouvement, alors je bouge.

Sa réciproque est donc : Si je bouge, alors je suis en mouvement.

Maintenant, pour faire sa contraposée, il suffit de réécrire la réciproque en ajoutant la négation : Si je ne bouge pas, alors je ne suis pas en mouvement.


Avec des lettres[modifier | modifier le wikicode]

Soient , , et quatre propriétés.
La contraposée de l'implication est l'implication .
La contraposée de l'équivalence est l'équivalence .
Le signe se prononce "implique", se prononce "équivaut" et se prononce "non".

Exemple 2[modifier | modifier le wikicode]

Soit la propriété " est un nombre entier" et la proprité " est un nombre pair". Comme l'ensemble des entiers pairs est inclus dans l'ensemble des entiers naturels, l'implication est vraie. La contraposée : est donc vraie aussi : "Si un nombre n'est pas entier, alors, il n'est pas pair".

Illustration de ce théorème sous forme de diagrammes de Venn :

Diagramme de Venn : Si un nombre est pair (ici 16), alors il est entier car inclus dans l'ensemble des entiers naturels.
Diagramme de Venn : Si un nombre est pair (ici 16), alors il est entier car inclus dans l'ensemble des entiers naturels.
Si un nomre n'est pas entier (ici 3,49), alors in n'est pas pair car non-inclus dans l'ensemble des entiers pairs.
Si un nomre n'est pas entier (ici 3,49), alors in n'est pas pair car non-inclus dans l'ensemble des entiers pairs.
Portail des mathématiques —  Les nombres, la géométrie et les grands mathématiciens.