up:: 020 MOC Mathematics Tópicos Hipótese de Representação de Conhecimento Lógica de Primeira Ordem Sintaxe de Lógica de Primeira Ordem Semântica de Lógica de Primeira Ordem Pragmatismo de Lógica de Primeira Ordem Consequência Lógica em LPO Interpretação em Lógica de Primeira Ordem