Lógica de Argumentos

Lógica é um ramo da filosofia para estudar e organizar a estrutura formal dos argumentos e regras de inferência para pensar corretamente e tirar conclusões. Argumento … é um conjunto de enunciados … para descrever a razão (ferramenta e faculdade) e raciocínio (aplicação prática e organizada), que leva a conclusão e serve como prova para afirmar…

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.…