Questão
ID 2013449Disciplina: Raciocínio Lógico
Assunto: Simbologia dos Quantificadores Lógicos
Ano: 2014 Banca: COPEVE/UFAL - FUNDEPES Órgão: Prefeitura Municipal de Feira Grande
Uma negação da fórmula da lógica de primeira ordem
"x"y(F(x)→G(y)) é
"x"y(F(x)→G(y)) é