Flashcard FC558405
Como formalizar em lógica de primeira ordem a frase "Todo estagiário concluiu o curso" usando P(x) e Est(x)?
Lógica de Primeira Ordem
IBADE · 2025
Como formalizar em lógica de primeira ordem a frase "Todo estagiário concluiu o curso" usando P(x) e Est(x)?
Mostrar resposta e comentário
Resposta
A formalização é ∀x (Est(x) → P(x)).
• Quantificador universal: O quantificador ∀ indica que a propriedade vale para todo indivíduo x.
• Implicação: A estrutura é uma implicação com antecedente Est(x) e consequente P(x).
• Verdade vacuamente: A fórmula não afirma nada sobre indivíduos que não são estagiários, nesses casos a implicação é vacuamente verdadeira.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546181
Conteúdo do catálogo FC Concursos · Atualizado em