Logique Implication Sens de l'implication

précédent

 suivant résumé résumé

Sens de l'implication

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

--- si la proposition "P" est vraie, alors la proposition "Q" est vraie,

--- si "P" alors "Q",

--- P implique Q,

--- "P implique Q".

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