Raciocínio Lógico · Concurso PRF, PF, Polícia Penal

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

Responda antes de revelar o gabarito comentado.

  1. Questão 2 · Agente Administrativo PRF · Múltipla escolha

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

    1. A)

      ∀x (x < 2)

    2. B)

      ∃x (x ≤ 2)

    3. C)

      ∃x (x > 2)

    4. D)

      ∀x (x ≤ 2)

    5. E)

      ∃x (x < 2)

    Revelar gabarito

    Gabarito: letra B

    Para negar “todo x satisfaz a condição”, basta que exista um x que não a satisfaça: ¬∀x P(x) ≡ ∃x ¬P(x). A negação de “x > 2” é “x ≤ 2”, que inclui o próprio 2. Por isso (E), com “x < 2”, deixa de fora o caso x = 2. Trocar o quantificador por “todo” (A, D) não nega a sentença, e (C) mantém a condição original.

Revise antes: resumo completo de Lógica de primeira ordem — quantificadores e predicados

Mais questões de Lógica de primeira ordem — quantificadores e predicados

Ver as 16 questões de Lógica de primeira ordem — quantificadores e predicados

Concurso Agente Administrativo PRF · Grátis, sem cartão · Tudo do PRO liberado

Resolva no app e acompanhe sua nota

Este conteúdo é o mesmo do app. Lá dentro, o plano do dia diz o que estudar, revisar e resolver, e acompanha a sua nota até a prova.

  • Estatística de acerto por tópico
  • Caderno de erros e revisão espaçada
  • Diagnóstico de erros com IA
  • Simulados no tempo da prova
  • Nota projetada contra o corte

Estude Agente Administrativo PRF no app

Grátis, sem cartão · Tudo do PRO liberado

Começar grátis