Com base nas regras da lógica proposicional e da lógica de primeira ordem, julgue o item subsequente.

Considere, no universo de todos os parques industriais do Brasil, os seguintes predicados.

A(x): "x é um parque industrial da ANSA."

P(x): "x produz amônia."

Nesse caso, a sentença "Todos os parques industriais da ANSA produzem amônia." pode ser corretamente escrita na linguagem simbólica da lógica de primeira ordem da seguinte forma: \(\forall x (A(x) \wedge P(x)).\)