Implication et équivalence/Équivalences
Une page de Wikiversité.
| Chapitre 2 | |||
| Leçon : Implication et équivalence | |||
|---|---|---|---|
| Chap. préc. : | Implications | ||
| Chap. suiv. : | Contraposées | ||
En raison de limitations techniques, la typographie souhaitable du titre, « Implication et équivalence : Équivalences
Implication et équivalence/Équivalences », n'a pu être restituée correctement ci-dessus.
Soit p et q deux propositions
|
Équivalences |
|
La proposition |
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.
ou p équivalent à q est définie par la conjonction de deux implications : 

