Lógica de Predicados
A lógica de predicados e extensão da lógica proposicional, pelo fato de existir vários tipos de aurgumentos que não podem ser adequadamente formalizados na lógica proposicional. Um exemplo clássico da lógica de predicados está no silogismo: Sócrates ´e homem. “Todo” homem ´e mortal. Logo, Sócrates é mortal. Intuitivamente, podemos ver que esse argumento é válido.…