Questão de Lógica de primeira ordem — quantificadores e predicados
Responda antes de revelar o gabarito.
Questão 13, Agente Administrativo PF, Certo ou Errado
A negação de 'Algum servidor é estável' é 'Algum servidor não é estável'.
Revelar gabarito
Gabarito: Errado
Errado. A negação de ∃x P(x) é ∀x ¬P(x), isto é, nenhum servidor é estável. A frase do enunciado poderia ser verdadeira junto com a original, o que impede que seja sua negação.
Mais questões de Lógica de primeira ordem — quantificadores e predicados
Ver todasQuestã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) é:
Questão 3Sejam os predicados A(x): “x é agente” e H(x): “x é habilitado”. A sentença “Todo agente é habilitado” é corretamente representada por: