Questão de Lógica de primeira ordem — quantificadores e predicados
Responda antes de revelar o gabarito.
Questão 5, Agente Administrativo PRF, Múltipla escolha
A negação da proposição “Todos os servidores do setor são concursados” é:
- A)
Nenhum servidor do setor é concursado.
- B)
Todos os servidores do setor não são concursados.
- C)
Alguns servidores concursados não são do setor.
- D)
Todo concursado é servidor do setor.
- E)
Pelo menos um servidor do setor não é concursado.
Revelar gabarito
Gabarito: letra E
¬∀x P(x) ≡ ∃x ¬P(x): basta que exista um servidor do setor não concursado. “Nenhum” (A) e “todos não” (B) são afirmações mais fortes, contrárias à original, e não contraditórias a ela.
- A)
Mais questões de Lógica de primeira ordem — quantificadores e predicados
Ver todasQuestã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".
Questão 8A negação de "Existe servidor faltoso" é "Todo servidor é faltoso".
Questão 9Para mostrar que uma afirmação universal é falsa, basta um contraexemplo.
Questão 10A sentença aberta "x 3" torna-se proposição quando a variável é quantificada.
Questão 11A proposição ∃x P(x) é verdadeira somente se todos os elementos do universo satisfazem P.