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

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

Responda antes de revelar o gabarito.

Questão 16, Agente Administrativo PF, Certo ou Errado
Na lógica de primeira ordem, os predicados expressam propriedades ou relações entre elementos.
Revelar gabarito
Gabarito: Certo
Certo. Os predicados representam propriedades ou relações atribuídas às variáveis, como em P(x): x é servidor, e ao lado dos quantificadores ampliam o que a lógica proposicional consegue analisar.

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

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…