Raisonnement directe
Définition :
Le raisonnement mathématique le plus courant est l'implication "directe", aussi appelé «raisonnement déductif ». On suppose qu'une propriété \(P\) est vraie et on en déduit qu'une propriété \(Q\) est vraie, ce qu'on note souvent \(P\Rightarrow Q\).