ID 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)? Alternativas ∀x (~(Gx v Cx) → Ax) ∀x (Ax → (Gx v Cx)) ∃x ((Gx v Cx) & Ax) ∀x ((Gx v Cx) → ~Ax) ∃x ((Gx v Cx) & ~Ax) Responder 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 "~".