Flashcard FC875838
Como formalizar em lógica de predicados a sentença "Toda ocorrência que é um incêndio em área residencial exigiu uso de ERA"?
Lógica de Primeira Ordem
IDIB · 2026
Como formalizar em lógica de predicados a sentença "Toda ocorrência que é um incêndio em área residencial exigiu uso de ERA"?
Mostrar resposta e comentário
Resposta
A formalização é \( \forall x\,(A(x)\rightarrow B(x)) \).
• Quantificador universal: Indica que a propriedade vale para todo elemento do domínio das ocorrências atendidas pelo Corpo de Bombeiros.
• Condicional: A relação "se... então" é traduzida pela implicação lógica \(A(x)\rightarrow B(x)\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/871421
Conteúdo do catálogo FC Concursos · Atualizado em