Implication et équivalence/Implications
Une page de Wikiversité.
 |
|||
| Chapitre 1 | |||
| Leçon : Implication et équivalence | |||
|---|---|---|---|
| Retour au | Sommaire | ||
| Chap. suiv. : | Équivalences | ||
En raison de limitations techniques, la typographie souhaitable du titre, « Implication et équivalence : Définition
Implication et équivalence/Implications », n'a pu être restituée correctement ci-dessus.
Soit p et q deux propositions
|
Implication |
|
La proposition |
Voici la table de vérité associée à p implique q:
| Valeur de p | Valeur de q | Valeur de  ou  |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
On peut remarquer que la proposition p implique q est fausse si et seulement si le membre de droite est vrai et le membre de gauche est faux.
Avec la définition de p implique q on peut obtenir sa négation. 
est équivalent à 
qui est équivalent à 
.
