P : « Le crime a eu lieu avant minuit ».
Q : « L’assassin est une femme ».
On sait déjà que P=> Q est vraie.
• Si P est vrai, alors Q est vrai.
• Si P est faux, je ne peux rien déduire de Q.
• Si Q est vrai, je ne peux rien déduire de P.
•
Si Q est faux, alors P est vrai.
L’équivalence :
P Q PQ
VVV
V F F
F V F
F F V
• Formules logiquement équivalentes.
• Définition : Une forme propositionnelle (ou une formule) est une expression formée de
variables p, q, r… pouvant pendre les valeurs V ou F, de connecteurs et de
3