Recíproca
implicação entre duas proposições onde uma é a inversa da outra / De Wikipedia, a enciclopédia encyclopedia
A recíproca é uma relação de implicação.
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Maio de 2020) |
Tendo-se duas proposições, A e B, há duas implicações que podem ser formadas usando estas propostas:
(se A então B)
(se B então A)
Por exemplo: A recíproca de "Se ele ganhou na loteria, então ele tem muito dinheiro" é "Se ele tem muito dinheiro, então ele ganhou na loteria".
Essas implicações são recíprocas uma da outra, a primeira é a recíproca da segunda, e a segunda é a recíproca da primeira.
Se a proposição (se A então B) e sua recíproca (se B então A) forem verdadeiras, pode-se afirmar "se e somente se A então B", pois vale "se A então B" e vale a recíproca, que diz que é impossível valer B sem valer A.
Outros exemplos são:
- Todos os papas são santos e todos os santos são papas.
- Nenhum romano é filósofo e nenhum filósofo é romano.
Note que a recíproca de uma afirmação verdadeira pode ser falsa, como no primeiro exemplo - Isto é, a afirmação e sua recíproca não são equivalentes.
Um outro exemplo é a recíproca do teorema de Pitágoras (que é verdadeira): "para qualquer triângulo com lados l, m, e r, se l² + m² = r², então o ângulo entre l e m mede 90°".