preuve par contrapose

2022-10-24 11:32:29 +02:00
parent cdb3804108
commit 1fd58becf2
2 changed files with 7 additions and 0 deletions
--- a/src/math/logique/preuves.md
+++ b/src/math/logique/preuves.md
@ -0,0 +1,6 @@
+# Technique de preuve
+
+## Preuve par contraposée
+
+- **But** Prouver que \\(P \implies Q\\)
+- **Méthode** Prouver \\(\neg P \implies \neg Q\\)