Anteriormente vimos sobre uma lógica bem simples, o Cálculo Proposicional (CP), que é capaz encapsular deduções e inferências acerca de fórmulas ou proposições que podem ser verdadeiras ou falsas. Entretanto, o CP não é capaz de tratar de fórmulas que dizem a respeito de elementos de conjuntos, ou seja, não há quantificação – algo particularmente problemático em relação a conjuntos infinitos, como os números naturais, e modelagem do mundo real em geral. Eis então a necessidade da Lógica de Primeira Ordem (LPO). A LPO é dividida essencialmente em sintaxe e semântica, como o CP, e iremos delinear sua sintaxe básica e semântica neste post. Continue reading →