Módulo 01 - Ordenamentos, o Direito e a Moral.

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:

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: