quando p e q têm tabelas-verdades iguais, isto é, quando p e q têm sempre o mesmo valor lógico.
Notação: P ↔ Q
1ª) Notemos que p equivale a q quando o condicional p ↔ q é verdadeiro.
2ª) Todo teorema cujo recíproco também é verdadeiro é uma relação de equivalência da forma
hipótese ⇔ tese
1º) (p → q) ⇔ (~q → ~p)
2º) 2 | 8 ⇔ mdc (2, 8) = 2
Quais as quatro perguntas sobre relação de equivalência em noções de lógica?
Mostrar que não ocorre o caso de a hipótese e a tese terem valores lógicos diferentes.