Analise as afirmações:
I. A Lógica de Primeira Ordem (LPO) é uma extensão da Lógica Proposicional que permite representar e raciocinar sobre quantificadores e variáveis.
II. A sintaxe da LPO é baseada em termos, fórmulas bem formadas e quantificadores.
III. A semântica da LPO é dada por meio da interpretação de termos, predicados e quantificadores em um determinado domínio de discurso.
IV. O motor de inferência é um componente central de muitos sistemas de IA, é responsável por aplicar as regras e axiomas para obter conclusões a partir de fatos conhecidos.
V. O processo de enge