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

Tables de vérité

NON

$\begin{array}{cc}A& \mathrm{\neg }A\\ F& V\\ V& F\end{array}$

OU

$\begin{array}{ccc}A& B& A\vee B\\ F& F& F\\ V& F& V\\ F& V& V\\ V& V& V\end{array}$

ET

$\begin{array}{ccc}A& B& A\wedge B\\ F& F& F\\ V& F& F\\ F& V& F\\ V& V& V\end{array}$

IMPLIQUE

$\begin{array}{ccc}A& B& A\Rightarrow B\\ F& F& V\\ F& V& V\\ V& F& F\\ V& V& V\end{array}$

ÉQUIVAUT À

$\begin{array}{ccc}A& B& A\iff B\\ F& F& V\\ V& F& F\\ F& V& F\\ V& V& V\end{array}$