tonitch/mdcours
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
mdcours/src/math/logique/preuves.md
Debucquoy 1fd58becf2
preuve par contrapose
2022-10-24 11:32:29 +02:00

144 B
Raw Blame History

Technique de preuve

Preuve par contraposée

  • But Prouver que \(P \implies Q\)
  • Méthode Prouver \(\neg P \implies \neg Q\)