Comparando-se os resultados finais de P e Q, percebe-se que não houve a ocorrência de V ⇒ F na mesma linha. Veja a seguir:

p ∧ q		p ⇒ q
V	⇒	V
F	⇒	F
F	⇒	F
F	⇒	V

Lembre-se também que, segundo o Teorema, a proposição P implica na proposição Q (isto é, P ⇒ Q), se e somente se a condicional P → Q for tautológica.

Vale ressaltar que os símbolos → e ⇒ são distintos. O símbolo → representa uma operação lógica, enquanto que ⇒ indica uma relação que estabelece que a implicação lógica e estabelece que a condicional é tautológica. Veja:

			A	B	Teorema
	p	q	p ∧ q	p ↔ q	A ↔ B
1.	V	V	V	V	V
2.	V	F	F	F	V
3.	F	V	F	F	V
4.	F	F	F	V	V