Introduction à la logique mathématique/Implication et équivalence

Le support de cette présentation de cours est disponible au téléchargement au format PDF.

Afin de contribuer au respect de l’environnement, merci de n’imprimer que les pages qui vous semblent utiles. Pensez au recto-verso et à l'impression de plusieurs slides par page.
Début de la boite de navigation du chapitre
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Introduction à la logique mathématique : Implication et équivalence
Introduction à la logique mathématique/Implication et équivalence
 », n'a pu être restituée correctement ci-dessus.

Quiz modifier



1 Complétez la table de vérité de l'opérateur EQUIVALENT appliqué à deux propositions A et B.

 

VRAI FAUX
Première ligne
Deuxième ligne
Troisième ligne
Quatrième ligne

2 Complétez la table de vérité de l'opérateur IMPLIQUE appliqué à deux propositions A et B.

 

VRAI FAUX
Première ligne
Deuxième ligne
Troisième ligne
Quatrième ligne

3 Quelle proposition a la même valeur de vérité que   ?

 
 
 
 

4 {Définition

| titre   = Commutativité
| contenu = Un opérateur logique binaire   est dit commutatif lorsque, pour toutes propositions A et B,   et   ont même valeur logique.}}

À partir de cette définition et des tables de vérité, répondre aux questions suivantes :

OUI NON
IMPLIQUE est-il commutatif ?
ÉQUIVALENT est-il commutatif ?