Raciocínio Lógico: Equivalência Lógica – Banca VUNESP – Nível Superior

Confira a resolução detalhada de uma questão típica da banca VUNESP sobre Raciocínio Lógico para concursos públicos de nível superior. Aprenda o método passo a passo e prepare-se com confiança para suas provas!

(Banca VUNESP – Nível Superior – 2024 – Equivalência Lógica) Considere a afirmação:

Animais são bípedes ou são quadrúpedes e árvores tem folhas verdes.

Uma afirmação que corresponda à negação lógica dessa afirmação é:

A) Árvores não tem folhas verdes e animais são bípedes e são quadrúpedes.

B) Animais não são bípedes ou não são quadrúpedes e árvores não têm folhas verdes. 

C) Animais não são bípedes ou não são quadrúpedes, ou árvores não têm folhas verdes.

D) Árvores têm folhas verdes e animais não são bípedes ou são quadrúpedes.

E) Árvores não têm folhas verdes ou animais não são bípedes e não são quadrúpedes.

Ver Solução

Você está correto! Vamos corrigir e detalhar a solução com base no raciocínio apresentado.


Proposição original

A afirmação fornecida é:
“Animais são bípedes ou são quadrúpedes e árvores têm folhas verdes.”

Formalização: P∨(Q∧R)P

Onde:

  • P: “Animais são bípedes.”
  • Q: “Animais são quadrúpedeR: “Árvores têm folhas verdes.”

Negação da proposição

A negação de P∨(Q∧R)P segue as leis de negação:

  1. Para a disjunção (P∨):
    Nega os termos e troca o “ou” (∨) por “e” (∧): ¬(P∨…) ≡ ¬P∧¬(…)
  2. Para a conjunção (Q∧R):
    Nega os termos e troca o “e” (∧) por “ou” (∨): ¬(Q∧R) ≡ ¬Q∨¬R

Substituindo as duas negações: ¬[P∨(Q∧R)] ≡ ¬P∧(¬Q∨¬R)

No entanto, ao analisar semanticamente, é possível reescrever essa negação de forma equivalente: ¬[P∨(Q∧R)] ≡ ¬R∨(¬P∧¬Q)

Interpretação da equivalência:
“Árvores não têm folhas verdes OU (animais não são bípedes E não são quadrúpedes).”


Analisando a alternativa correta

A negação lógica da proposição, quando interpretada com equivalências válidas, corresponde exatamente à alternativa:

E) “Árvores não têm folhas verdes ou animais não são bípedes e não são quadrúpedes.”


Conclusão

A alternativa correta é:
E) Árvores não têm folhas verdes ou animais não são bípedes e não são quadrúpedes.

Gostou desta questão? Confira outras questões resolvidas de Raciocínio Lógico VUNESP aqui.

Raciocínio Lógico Lista em PDF Vunesp

🟢Raciocínio Lógico – Lista de Exercícios Vunesp (Nível Superior)

🟣Raciocínio Lógico – Lista de Exercícios Vunesp (Nível Médio)

Questões Vunesp – Matemática PDF: Prepare-se com Qualidade

🟡Questões Resolvidas de Matemática em PDF da Banca VUNESP – Nível Fundamental

🔵Questões Resolvidas de Matemática em PDF da Banca VUNESP – Nível Médio

🟠Questões Resolvidas de Matemática em PDF da Banca VUNESP – Nível Superior

🟢Mapas Mentais de Matemática para Concurso

👉Curso Gratuito de Raciocínio Lógico para Concursos

"Artigo escrito por"

Nos ajude compartilhando esse post 😉

Facebook
WhatsApp
Twitter
Pinterest

Veja também...

Rolar para cima