Que sont l'inverse, la contrapositive et l'inverse ?

Corbis/VCG via Getty Images / Getty Images

Les instructions conditionnelles apparaissent partout. En mathématiques ou ailleurs, il ne faut pas longtemps pour tomber sur quelque chose de la forme Si P alors Q . Les instructions conditionnelles sont en effet importantes. Ce qui est également important, ce sont les instructions liées à l'instruction conditionnelle d'origine en modifiant la position de P , Q et la négation d'un énoncé. En partant d'une déclaration originale, nous nous retrouvons avec trois nouvelles déclarations conditionnelles qui sont nommées l'inverse, la contrapositive et la inverse .

Négation

Avant de définir l'inverse, la contrapositive et l'inverse d'un énoncé conditionnel, nous devons examiner le sujet de la négation. Chaque déclaration dans logique est soit vrai soit faux. La négation d'un énoncé implique simplement l'insertion du mot not à la partie appropriée de l'énoncé. L'ajout du mot not est fait de sorte qu'il change le statut de vérité de l'énoncé.

Il sera utile de regarder un exemple. La déclaration La triangle rectangle est équilatéral a négation Le triangle rectangle n'est pas équilatéral. La négation de 10 est un nombre pair est l'énoncé 10 n'est pas un nombre pair. Bien sûr, pour ce dernier exemple, nous pourrions utiliser la définition d'un nombre impair et dire à la place que 10 est un nombre impair. Nous constatons que la vérité d'un énoncé est l'opposé de celle de la négation.

Nous examinerons cette idée dans un cadre plus abstrait. Lorsque la déclaration P est vrai, l'énoncé non P c'est faux. De même, si P est faux, sa négation non P est vrai. Les négations sont généralement notées avec un tilde ~. Alors au lieu d'écrire non P on peut écrire ~ P .

Inversé, Contrapositif et Inverse

Nous pouvons maintenant définir l'inverse, la contraposée et l'inverse d'un énoncé conditionnel. On commence par l'instruction conditionnelle Si P alors Q .

• L'inverse de l'instruction conditionnelle est Si Q alors P .
• La contraposée de l'instruction conditionnelle est Si non Q alors non P .
• L'inverse de l'instruction conditionnelle est Si non P alors non Q .

Nous verrons comment ces déclarations fonctionnent avec un exemple. Supposons que nous commencions par l'énoncé conditionnel S'il a plu la nuit dernière, alors le trottoir est mouillé.

• L'inverse de l'énoncé conditionnel est Si le trottoir est mouillé, alors il a plu la nuit dernière.
• La contraposée de l'énoncé conditionnel est Si le trottoir n'est pas mouillé, alors il n'a pas plu la nuit dernière.
• L'inverse de l'énoncé conditionnel est S'il n'a pas plu la nuit dernière, alors le trottoir n'est pas mouillé.

Équivalence logique

Nous pouvons nous demander pourquoi il est important de former ces autres déclarations conditionnelles à partir de notre déclaration initiale. Un examen attentif de l'exemple ci-dessus révèle quelque chose. Supposons que l'énoncé initial S'il a plu la nuit dernière, alors le trottoir est mouillé est vrai. Laquelle des autres affirmations doit également être vraie ?

• L'inverse Si le trottoir est mouillé, alors il a plu la nuit dernière n'est pas nécessairement vrai. Le trottoir pourrait être mouillé pour d'autres raisons.
• L'inverse S'il n'a pas plu la nuit dernière, alors le trottoir n'est pas mouillé n'est pas nécessairement vrai. Encore une fois, ce n'est pas parce qu'il n'a pas plu que le trottoir n'est pas mouillé.
• La contrapositive Si le trottoir n'est pas mouillé, alors il n'a pas plu la nuit dernière est une affirmation vraie.

Ce que nous voyons à partir de cet exemple (et ce qui peut être prouvé mathématiquement) est qu'un énoncé conditionnel a la même valeur de vérité que sa contraposée. On dit que ces deux énoncés sont logiquement équivalents. Nous voyons également qu'une déclaration conditionnelle n'est pas logiquement équivalente à sa réciproque et son inverse.

Puisqu'un énoncé conditionnel et sa contraposée sont logiquement équivalents, nous pouvons l'utiliser à notre avantage lorsque nous démontrons des théorèmes mathématiques. Plutôt que de prouver directement la vérité d'un énoncé conditionnel, nous pouvons plutôt utiliser la stratégie de preuve indirecte consistant à prouver la vérité de la contrapositive de cet énoncé. Les preuves contrapositives fonctionnent parce que si la contrapositive est vraie, en raison de l'équivalence logique, l'instruction conditionnelle d'origine est également vraie.

Il s'avère que même si le inverse et inverse ne sont pas logiquement équivalents à l'instruction conditionnelle d'origine , ils sont logiquement équivalents l'un à l'autre. Il y a une explication simple à cela. On commence par l'instruction conditionnelle Si Q alors P . La contraposée de cette affirmation est Si non P alors non Q . Puisque l'inverse est la contraposée de l'inverse, l'inverse et l'inverse sont logiquement équivalents.