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\).