Contenu supprimé Contenu ajouté
|
|
|
=== Contraposition ===
TheLa proposition "IfSi ''x''<sup>2</sup> isest oddimpair thenalors ''x'' isest alsoaussi oddimpair" isest harderplus todifficile proveà thandémontrer que "ifSi ''x'' evenest thenpair alors ''x''<sup>2</sup> isest alsoaussi evenpair", althoughalors theyqu'elles meanveulent thedire samela thingmême chose. MorePlus generallygénéralement inen constructingconstruisant proofsdes fordémonstrations propositionspour ofles propositions thedu type
:<math>p \Rightarrow q</math>
il est quelquefois plus facile de démontrer à la place
it is sometimes easier to prove instead
:<math>q' \Rightarrow p'</math>
Comment pouvons-nous dire cela ? Nous avons besoin de vérifier que
How can we say that? We need to verify that
:<math>p \Rightarrow q \equiv q' \Rightarrow p'</math>
(toà beeffectuer donepar byle the readerlecteur).
ThisCe type of provingde technique isde démonstration est calledappelé proofdémonstration bypar contrapositivecontraposition.
==Puzzles logiques==
|
