Implication et équivalence/Implications

Soit p et q deux propositions

Voici la table de vérité associée à p implique q:

Valeur de p	Valeur de q	Valeur de $\mathrm{\neg }p\vee q$ ou $p\Rightarrow q$
V	V	V
V	F	F
F	V	V
F	F	V

On peut remarquer que la proposition p implique q est fausse si et seulement si le membre de droite est faux et le membre de gauche est vrai.

Avec la définition de p implique q on peut obtenir sa négation. $\overline{p\Rightarrow q}$ est équivalent à $\overline{\mathrm{\neg }p\vee q}$ qui est équivalent à $p\wedge (\mathrm{\neg }q)$.