Introduction à la logique mathématique/Introduction, opérateurs NON, ET et OU

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 : Introduction, opérateurs NON, ET et OU
Introduction à la logique mathématique/Introduction, opérateurs NON, ET et OU
 », n'a pu être restituée correctement ci-dessus.
  Faites ces exercices : Manipulation des opérateurs NON, ET et OU.



1 Complétez la table de vérité de l'opérateur NON appliqué à une proposition A.

 

VRAI FAUX
Première ligne
Deuxième ligne

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

 

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

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

 

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

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
ET est-il commutatif ?
OU est-il commutatif ?


Conclusion

modifier
  Faites ces exercices : Composition des opérateurs NON, ET et OU.



Vous êtes à présent un petit peu plus familier avec les opérateurs logiques de base :

  • NON
  • ET
  • OU

On peut construire, à partir de ces opérateurs de base, de nombreux autres opérateurs composés en les combinant.

  Toutes ces notions ont des applications très concrètes en sciences de l'ingénieur, et tout particulièrement en électronique numérique où certains composants, les portes logiques, réalisent ces opérations logiques.