Questão de Lógica de primeira ordem — quantificadores e predicados
Responda antes de revelar o gabarito.
Questão 6, Agente Administrativo PRF, Múltipla escolha
No 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 concursado não é estável” é corretamente representada por:
- A)
∀x (C(x) → ¬E(x))
- B)
∃x (C(x) → ¬E(x))
- C)
¬∃x (C(x) ∧ E(x))
- D)
∀x (¬C(x) ∨ E(x))
- E)
∃x (C(x) ∧ ¬E(x))
Revelar gabarito
Gabarito: letra E
“Algum A não é B” traduz-se por ∃x (A(x) ∧ ¬B(x)): existe x concursado e não estável. (A) afirma que nenhum concursado é estável; (B) usa condicional com o existencial, o que torna a sentença verdadeira até se houver um não concursado; (C) diz que nenhum servidor é concursado e estável; (D) equivale a “todo concursado é estável”, a negação da sentença.
- A)
Mais questões de Lógica de primeira ordem — quantificadores e predicados
Ver todasQuestã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.
Questão 12A negação de 'Nenhum candidato foi aprovado' é 'Algum candidato foi aprovado'.