Questão 1961005

• Banca: COPEVE-UFAL
• Órgão: CASAL
• Ano: 2014
• Provas: COPEVE-UFAL - 2014 - CASAL - Administrador
• Disciplina: Raciocínio Lógico
• Assuntos: Equivalência Lógica e Negação de Proposições; Negação - Leis de Morgan (Negativa de uma Proposição Composta)

Qual a proposição contrária a ∀x((Gx v Cx) → Ax)?

• A. ∀x (~(Gx v Cx) → Ax)
• B. ∀x (Ax → (Gx v Cx))
• C. ∃x ((Gx v Cx) & Ax)
• D. ∀x ((Gx v Cx) → ~Ax)
• E. ∃x ((Gx v Cx) & ~Ax)

Gabarito: D

Comentários

• a negação de "todo" não seria "existe"? e de "se então" não seria "e"?

• Pois é Welton também pensei nisso.

   

• Também pensei a mesma coisa

• Fazendo a tabela verdade a letra D é a negação da questão.

• Mas a negação do "se... então..." não é o "e"?

• negação do Se, então = mantém a primeira e nega a segunda

  resp.: D

• A negação do ∀x é ~∃x, se não tiver na questão, permanece o ∀x e no último vem o "~".