Introduction à la logique mathématique/Fiche/Opérateurs logiques

Une page de Wikiversité.
Aller à la navigation Aller à la recherche
Fiche mémoire sur les opérateurs logiques et leur manipulation
Icon falscher Titel.svg
En raison de limitations techniques, la typographie souhaitable du titre, « Fiche : Opérateurs logiques
Introduction à la logique mathématique/Fiche/Opérateurs logiques
 », n'a pu être restituée correctement ci-dessus.



Tables de vérité[modifier | modifier le wikicode]

NON[modifier | modifier le wikicode]

OU[modifier | modifier le wikicode]

ET[modifier | modifier le wikicode]

IMPLIQUE[modifier | modifier le wikicode]

ÉQUIVAUT À[modifier | modifier le wikicode]

Lois de De Morgan[modifier | modifier le wikicode]

Début d’un théorème
Fin du théorème