Alternativa B - A proposição P é logicamente equivalente à proposição Q pela propriedade antissimétrica.
Análise da Questão
Para resolver esta questão, precisamos compreender a relação lógica entre as proposições $P$ e $Q$ e o significado das implicações mútuas.
1. Identificando as Proposições
Temos duas proposições simples definidas no enunciado:
- Proposição $P$: $p \to q$ (Se $p$ então $q$)
- Proposição $Q$: $\neg p \lor q$ (Não $p$ ou $q$)
Na lógica proposicional, existe uma lei fundamental chamada Lei da Implicação Material, que estabelece que estas duas formas são sempre equivalentes. Isso significa que elas possuem exatamente os mesmos valores verdade em todas as situações possíveis.
2. Analisando as Implicações Dadas
O enunciado afirma: "Sabendo que $P \Rightarrow Q$ e $Q \Rightarrow P$"
- $P \Rightarrow Q$: Se $P$ é verdadeira, então $Q$ também é.
- $Q \Rightarrow P$: Se $Q$ é verdadeira, então $P$ também é.
Quando temos uma implicação em ambas as direções ($P \Rightarrow Q$ e $Q \Rightarrow P$), isso define a equivalência lógica entre elas ($P \Leftrightarrow Q$).
3. O Papel da Propriedade Antissimétrica
A questão pede para identificar qual propriedade justifica essa conclusão. Na teoria das relações e ordens parciais:
- Reflexiva: Um elemento está relacionado consigo mesmo ($A \Rightarrow A$).
- Transitiva: Se $A \Rightarrow B$ e $B \Rightarrow C$, então $A \Rightarrow C$.
- Antissimétrica: Se $A \Rightarrow B$ e $B \Rightarrow A$, então $A$ é equivalente a $B$ ($A \equiv B$).
Como o enunciado fornece justamente as duas implicações cruzadas ($P \Rightarrow Q$ e $Q \Rightarrow P$) para concluir que $P$ é equivalente a $Q$, estamos aplicando o conceito de antissimetria da relação de implicação. Em termos formais, a implicação é uma pré-ordem; quando dois elementos se implicam mutuamente, eles pertencem à mesma classe de equivalência.
Resumo das Alternativas Incorretas
- A (Reflexiva): Refere-se a $P \Rightarrow P$, não à comparação entre duas proposições distintas.
- C (Transitiva): Envolve três elementos ($A \to B \to C$), enquanto aqui temos apenas dois ($P$ e $Q$).
- D (Comutativa): Refere-se à troca de ordem nos operadores lógicos (ex: $p \lor q \equiv q \lor p$).
- E (Não equivalente): É falsa, pois $p \to q$ é matematicamente igual a $\neg p \lor q$.
Conclusão
A condição de que duas proposições se implicam mutuamente ($P \Rightarrow Q$ e $Q \Rightarrow P$) é a definição característica da propriedade antissimétrica dentro da estrutura de ordem lógica, garantindo a equivalência.
Portanto, a alternativa correta é a B.