lógica de primeira ordem

A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.As sentenças atômicas da lógica de primeira ordem têm o formato P (t1,…, tn) (um predicado com um ou mais “argumentos”) ao invés de serem símbolos sentenciais sem estruturas.O ingrediente novo da lógica de primeira ordem não encontrado na lógica proposicional é a quantificação: dada uma sentença f qualquer, as novas construções e -- leia “para todo x, f” e “para algum x, f”, respectivamente -- são introduzidas. significa que f é verdadeiro para todo valor de x e significa que há pelo menos um x tal que f é verdadeiro. Os valores das variáveis são tirados de um universo de discurso pré-determinado.Um refinamento da lógica de primeira ordem permite variáveis de diferentes tipos, para tratar de diferentes classes de objetos.
Veja mais na Wikipédia.org...