19. Teorema contra-recíproco

A equivalência (p → q) ⇔ (~q → ~p), tem o seguinte significado:

Sendo p → q = V, nesse caso:

p ⇒ q é equivalente a (~q) ⇒ (~p)

Exemplo

b = 8 ⇒ b > 3 é equivalente a b < 3 ⇒ b ≠ 8