A negação de 'Nenhum candidato foi aprovado' é 'Algum candidato foi aprovado'.

Questão de Lógica de primeira ordem — quantificadores e predicados

Responda antes de revelar o gabarito.

Questão 12, Agente Administrativo PF, Certo ou Errado
A negação de 'Nenhum candidato foi aprovado' é 'Algum candidato foi aprovado'.
Revelar gabarito
Gabarito: Certo
Certo. Nenhum candidato foi aprovado corresponde a ∀x ¬P(x); ao negar, troca-se o quantificador e nega-se o predicado, chegando a ∃x P(x), ou seja, algum candidato foi aprovado.

Questão 13A negação de 'Algum servidor é estável' é 'Algum servidor não é estável'.

Questão 14No conjunto dos números reais, a proposição ∀x (x² ≥ 0) é verdadeira.

Questão 15No conjunto dos números reais, a proposição ∃x (x + 1 = x) é verdadeira.

Questão 16Na lógica de primeira ordem, os predicados expressam propriedades ou relações entre elementos.

Questão 1Considere o predicado P(x): “x é servidor efetivo”, no universo dos funcionários de um órgão. A sentença ∃x ¬P(x) significa:

Questão 2No conjunto dos números naturais, a negação da sentença ∀x (x 2) é: