Lógica de Primeira Ordem

A lógica de primeira ordem (LPO) é uma linguagem lógica que possui

• sintaxe;
• semântica;
• pragmatismo.

---

Referências

• BRACHMAN, Ronald J.; LEVESQUE, Hector J.; REITER, Raymond (Ed.). Knowledge representation. MIT press, 1992.