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
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