Flashcard FC875836
Qual a fórmula de primeira ordem que expressa a existência de um suspeito sem antecedentes criminais, usando P(x) e Q(x)?
Lógica de Primeira Ordem
IDECAN · 2026
Qual a fórmula de primeira ordem que expressa a existência de um suspeito sem antecedentes criminais, usando P(x) e Q(x)?
Mostrar resposta e comentário
Resposta
A representação correta é \( \exists x (P(x) \wedge \sim Q(x)) \).• Quantificador existencial: \( \exists x \) significa que há pelo menos um elemento no domínio que satisfaz a propriedade indicada.
• Predicados: \(P(x)\) expressa "x é um suspeito" e \(Q(x)\) expressa "x tem antecedentes criminais".
• Conjunção: \(P(x)\wedge \sim Q(x)\) exige que ambas as condições valham para o mesmo indivíduo x.
• Negação: \(\sim Q(x)\) indica a ausência de antecedentes criminais para esse x.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/871419
Conteúdo do catálogo FC Concursos · Atualizado em