No conjunto dos números reais, a proposição ∃x (x + 1 = x) é verdadeira.

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

Responda antes de revelar o gabarito.

Questão 15, Agente Administrativo PF, Certo ou Errado
No conjunto dos números reais, a proposição ∃x (x + 1 = x) é verdadeira.
Revelar gabarito
Gabarito: Errado
Errado. Para o existencial ser verdadeiro, bastaria um elemento satisfazer a sentença, mas subtraindo x dos dois lados chega-se a 1 = 0, igualdade impossível; logo, nenhum real a satisfaz.

Questão 16Na lógica de primeira ordem, os predicados expressam propriedades ou relações entre elementos.

Questão 1Considere o predicado P(x): “x é servidor efetivo”, no universo dos funcionários de um órgão. A sentença ∃x ¬P(x) significa:

Questã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” é: