Questão de Lógica de primeira ordem — quantificadores e predicados
Responda antes de revelar o gabarito.
Questão 3, Agente Administrativo PRF, Múltipla escolha
Sejam os predicados A(x): “x é agente” e H(x): “x é habilitado”. A sentença “Todo agente é habilitado” é corretamente representada por:
- A)
∀x (A(x) ∧ H(x))
- B)
∃x (A(x) ∧ H(x))
- C)
∀x (A(x) → H(x))
- D)
∀x (H(x) → A(x))
- E)
∃x (A(x) → H(x))
Revelar gabarito
Gabarito: letra C
“Todo A é H” significa “para todo x, se x é agente, então x é habilitado”: ∀x (A(x) → H(x)). A conjunção com “todo” (A) diria que todos são agentes e habilitados. (B) traduz “algum agente é habilitado”. (D) inverte a relação (“todo habilitado é agente”). O quantificador existencial (E) não expressa “todo”.
- A)
Mais questões de Lógica de primeira ordem — quantificadores e predicados
Ver todasQuestã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".
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.