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