Argumentos dedutivos: análise inferencial e teoria da argumentação em lógica matemática

Resumo

Ao longo da evolução e revolução do progresso intelectual do homem observa-se o acentuado desenvolvimento da Lógica Matemática, principalmente, na constante busca de técnicas e procedimentos formais de decisão que permitam instituir a coerência e a validade de raciocínios nas mais diversas áreas do conhecimento. No presente trabalho serão apresentados, de forma resumida, alguns dos principais métodos analíticos que permitem, em Lógica Matemática, através da Álgebra Proposicional, avaliar a legitimidade de argumentos dedutivos, utilizados para se estabelecer a coerência e a correção doraciocínio em termos formais.