Mathématiques
Précédent
Suivant
Sens de l'implication

On peut considérer que les phrases suivantes ont le même sens :

  • si la proposition est vraie, alors la proposition est vraie,

  • si alors

  • implique

Le sens de la phrase formelle est celui-ci : ou bien est faux, ou bien et sont vrais en même temps.

Attention

La proposition Si alors ne dit pas que l'hypothèse est vraie ; elle dit seulement que si l'hypothèse est vraie, alors la conclusion l'est aussi. Ceci s'exprime donc à l'aide des symboles de conjonction et de disjonction par l'une ou l'autre des phrases suivantes:

Les formules suivantes sont donc équivalentes :

Légende :
Apprendre
S'évaluer
S'exercer
Observer
Simuler
Réalisé avec Scenari (nouvelle fenêtre)