Uma negação da fórmula da lógica de primeira ordem "x"y(F(x...

Com base no mesmo assunto

Ano: 2014 Banca: COPEVE-UFAL Órgão: Prefeitura de Feira Grande - AL Prova: COPEVE-UFAL - 2014 - Prefeitura de Feira Grande - AL - Psicólogo |

Q2860274 Raciocínio Lógico

Uma negação da fórmula da lógica de primeira ordem "x"y(F(x)→G(y)) é

∃x∃y(~F(x)→~G(y)).

∃x∃y(F(x)→G(y)).

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

∀x∀y(~F(x)→~G(y)).

∀x∀y(F(x)^~G(y)).

Você errou! Resposta:

teste

Parabéns! Você acertou!

teste

Questões de assuntos semelhantes