Questão de Lógica de primeira ordem — quantificadores e predicados
Responda antes de revelar o gabarito.
Questão 1, Agente Administrativo PRF, Múltipla escolha
Considere o predicado P(x): “x é servidor efetivo”, no universo dos funcionários de um órgão. A sentença ∃x ¬P(x) significa:
- A)
Existe ao menos um funcionário que não é servidor efetivo.
- B)
Nenhum funcionário é servidor efetivo.
- C)
Todos os funcionários são servidores efetivos.
- D)
Existe ao menos um funcionário que é servidor efetivo.
- E)
Não existe funcionário que não seja servidor efetivo.
Revelar gabarito
Gabarito: letra A
∃x lê-se “existe ao menos um x”, e ¬P(x) é “x não é servidor efetivo”. “Nenhum funcionário é efetivo” (B) seria ∀x ¬P(x). (C) é ∀x P(x), e (D) é ∃x P(x). (E) é ¬∃x ¬P(x), equivalente a ∀x P(x): é justamente a negação da sentença dada.
- A)
Mais questões de Lógica de primeira ordem — quantificadores e predicados
Ver todasQuestã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:
Questão 4A negação da proposição “Algum agente é motorista” é:
Questão 5A negação da proposição “Todos os servidores do setor são concursados” é:
Questão 6No universo dos servidores de um órgão, considere os predicados C(x): “x é concursado” e E(x): “x é estável”. A sentença “Algum servidor…
Questão 7A negação de "Todo veículo está regular" é "Algum veículo não está regular".