Introdução
Esta questão aborda lógica proposicional, especificamente sobre as relações entre uma proposição condicional e suas formas relacionadas. Vamos analisar o que significa encontrar a recíproca de uma proposição.
Desenvolvimento
Uma proposição condicional tem a estrutura:
P \Rightarrow Q
Onde:
- P = antecedente (parte após "Se")
- Q = consequente (parte após "então")
As principais transformações são:
| Tipo | Fórmula | Descrição |
|---|
| Original | P \Rightarrow Q | Proposição inicial |
| Recíproca | Q \Rightarrow P | Inverte antecedente e consequente |
| Contrária | \neg P \Rightarrow \neg Q | Negar ambos os termos |
| Contrapositiva | \neg Q \Rightarrow \neg P | Negar e inverter |
Análise
Vamos aplicar ao enunciado:
Proposição Original:
- Antecedente (P): "existe certeza"
- Consequente (Q): "não restam dúvidas"
- Forma: P \Rightarrow Q
Para encontrar a Recíproca (Q \Rightarrow P):
- Pegar o consequente como novo antecedente: "não restam dúvidas"
- Pegar o antecedente como novo consequente: "existe certeza"
- Manter a estrutura condicional sem negar nada
Resultado: "Se não restam dúvidas, então existe certeza."
Analisando as alternativas:
| Alternativa | Correspondência |
|---|
| 1ª | Contrapositiva (negou e inverteu) |
| 2ª | Contrária (negou ambos) |
| 3ª | Contrapositiva com linguagem diferente |
| 4ª | RECÍPROCA CORRETA ✓ |
| 5ª | Estrutura diferente |
Conclusão
A recíproca mantém a relação condicional mas troca a posição do antecedente pelo consequente, sem fazer negações.
Alternativa D - Se não restam dúvidas, então existe certeza