Théorie > Fondements > Techniques élémentaires de preuves

Exercice 2 (Résolu 2926 fois - 32% de réussite au premier essai)
(Résolu 2926 fois -
32% de réussite au 1er essai)

Afin de montrer une implication $P \Rightarrow Q$, quelqu'un décide de plutôt prouver la contraposée. Et il planifie de démontrer cette contraposée en procédant par l'absurde. Que peut-on dire de cette approche ?

Pour pouvoir répondre aux exercices, vous devez être connecté.