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: