Leçons de niveau 11

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

Une page de Wikiversité.
Aller à la navigation Aller à la recherche
Nuvola apps flashkard.svg

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
Icon falscher Titel.svg
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 | modifier le wikicode]

Image logo représentative de la faculté Voir les exercices sur : Manipulation des opérateurs IMPLIQUE et EQUIVALENT.



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


À 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 ?