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) ?

Tbm não entendi, alguem pra explicar detalhadamente?

Também não entendi. Indiquei para comentário.

As três preposições possuem o resultado: FFVV. Por isso, todas são equivalentes.

ao invés de fazer tabela verdade, coloque no lugar do "p", tudo "v" (de verdadeiro)...aí é só fazer o esquema dos conectivos....todas darão "f" (de falso) no final.

Todas são equivalentes

O resultado é FFVV

A ordem das operacoes é:

~

/\

\/

->