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

Fiche mémoire sur les opérateurs logiques et leur manipulation

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]

${\begin{array}{|c||c|}A&\lnot A\\\hline F&V\\V&F\\\end{array}}$

OU[modifier | modifier le wikicode]

${\begin{array}{|c|c||c|}A&B&A\vee B\\\hline F&F&F\\V&F&V\\F&V&V\\V&V&V\\\end{array}}$

ET[modifier | modifier le wikicode]

${\begin{array}{|c|c||c|}A&B&A\wedge B\\\hline F&F&F\\V&F&F\\F&V&F\\V&V&V\\\end{array}}$

IMPLIQUE[modifier | modifier le wikicode]

${\begin{array}{|c|c||c|}A&B&A\Rightarrow B\\\hline F&F&V\\F&V&V\\V&F&F\\V&V&V\\\end{array}}$

ÉQUIVAUT À[modifier | modifier le wikicode]

${\begin{array}{|c|c||c|}A&B&A\Leftrightarrow B\\\hline F&F&V\\V&F&F\\F&V&F\\V&V&V\\\end{array}}$

Lois de De Morgan[modifier | modifier le wikicode]

Lois de De Morgan

Les propositions $\color {Red}{\lnot }\color {Black}{(A}\color {Red}{\wedge }\color {Black}{B})$ et $(\lnot A)\color {Red}{\vee }\color {Black}{(\lnot B)}$ sont équivalentes.
Les propositions $\color {Red}{\lnot }\color {Black}{(A}\color {Red}{\vee }\color {Black}{B)}$ et $(\lnot A)\color {Red}{\wedge }\color {Black}{(\lnot B)}$ sont équivalentes.