Considere as proposições: I – p → ¬ p ∧ ¬ qII – ¬ p ∨...

Fazendo a Tabela-verdade  das proposições tem-se o seguinte resultado:

F

F

V

V

Assim, todas são equivalentes

A ordem de procedência dos conectivos é: Negação ~, Conjunção v e ^, Condicional ->, Bicondicional <->.

Se priorizar a Condicional na Proposição 1, a resposta será c). Resolução errada.

Observando a ordem de procedência se resolve primeiro ~P^~Q depois P->(~P^~Q), ficando:

F

F

V

V

Resposta correta d) Todas equivalentes

Ainda não entendi como todas são equivalentes. Alguém explica melhor? Um fala da ordem outra da tabela, mas não vi como chegar à resposta.

só fazer a tabela verdade, izaias... se o resultado das colunas for igual, as preposições são equivalentes.. no caso das 3 é FFVV

Dúvida: como comparar e dizer que são equivalentes os resultados da tabelas verdades, sendo que a tabela verdade da última proposição (~ P) contém apenas 2 resultados possíveis (V e F) ?