Implication et équivalence/Équivalences
Apparence
Soit p et q deux propositions
Équivalences
La proposition ou p équivalent à q est définie par la conjonction de deux implications :
Voici la table de vérité associée à p équivalent à q:
Valeur de p | Valeur de q | Valeur de | Valeur de | Valeur de |
---|---|---|---|---|
V | V | V | V | V |
V | F | F | V | F |
F | V | V | F | F |
F | F | V | V | V |
On peut remarquer que la proposition p équivalent à q est fausse si et seulement si le membre de gauche est différent du membre de droite.