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

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

Tables de vérité

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

${\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}}$

${\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}}$

${\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}}$

${\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}}$

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.

Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.