Questão FC871421
No domínio das ocorrências atendidas pelo Corpo de Bombeiros, considere: A(x): “x é um incêndio em área residencial” B(x): “x exigiu uso de equipamento de respiração autônoma (ERA)
Lógica de Primeira Ordem
IDIB · 2026
No domínio das ocorrências atendidas pelo Corpo de Bombeiros, considere:
A(x): “x é um incêndio em área residencial”
B(x): “x exigiu uso de equipamento de respiração autônoma (ERA)”
A proposição “Toda ocorrência que é um incêndio em área residencial exigiu uso de ERA” é formalizada como:
- \(\forall x (A(x) \wedge B(x))\)
- \(\forall x (A(x) \rightarrow B(x))\)
- \(\exists x (A(x) \rightarrow B(x))\)
- \(\forall x (B(x) \rightarrow A(x))\)
- \(\exists x (A(x) \wedge B(x))\)
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
A frase começa com "Toda ocorrência", que corresponde ao quantificador universal. Por isso representamos o enunciado por \( \forall x \), onde \(x\) varia sobre as ocorrências atendidas.
O vínculo entre ser "incêndio em área residencial" e "exigir uso de ERA" é uma relação do tipo se... então, isto é, uma condicional. Logo usamos a implicação lógica entre as predicados.
Assim a formalização é \( \forall x\,(A(x)\rightarrow B(x)) \).
Interpretação: para toda ocorrência \(x\), se \(A(x)\) (é incêndio em área residencial), então \(B(x)\) (exigiu ERA). Ocorrências que não são incêndio residencial não são afirmadas nem negadas por essa sentença.
Conteúdo do catálogo FC Concursos · Atualizado em