From 1fd58becf23c27b271409bcebc4ddac4f310cdb5 Mon Sep 17 00:00:00 2001 From: Debucquoy Date: Mon, 24 Oct 2022 11:32:29 +0200 Subject: [PATCH] preuve par contrapose --- src/SUMMARY.md | 1 + src/math/logique/preuves.md | 6 ++++++ 2 files changed, 7 insertions(+) create mode 100644 src/math/logique/preuves.md diff --git a/src/SUMMARY.md b/src/SUMMARY.md index 2b770dd..fb35711 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -9,6 +9,7 @@ - [induction](./math/logique/induction.md) - [Ensembles](./math/logique/ensembles.md) - [Fonction, Domaine et Image](./math/logique/fonctions.md) + - [Technique de preuve](./math/logique/preuves.md) - [Inéquations](./math/ineq/summary.md) - [Second Degrés](./math/ineq/second_degres.md) - [Valeurs Absolue](./math/ineq/abs.md) diff --git a/src/math/logique/preuves.md b/src/math/logique/preuves.md new file mode 100644 index 0000000..9941d1d --- /dev/null +++ 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\\)