Pular para o conteúdo principal

Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — COPEVE-UFAL 2014

Raciocínio LógicoEquivalência Lógica e Negação de Proposições
Código
qq048764
Banca
COPEVE-UFAL
Órgão
Prefeitura de Feira Grande - AL
Ano
2014
Nível
Superior
Cargo
Psicólogo
Uma negação da fórmula da lógica de primeira ordem "x"y(F(x)→G(y)) é
  1. A∃x∃y(~F(x)→~G(y)).
  2. B∃x∃y(F(x)→G(y)).
  3. C∃x∃y(F(x)^~G(y)).
  4. D∀x∀y(~F(x)→~G(y)).
  5. E∀x∀y(F(x)^~G(y)).
Revelar gabarito e comentário

GabaritoC — ∃x∃y(F(x)^~G(y)).

Link permanente: /questoes/qq048764