“CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA
INFERENCIAL DEDUTIVA” é outro dos Cursos de Extensão Universitária sob minha
condução e destinado à complementação da formação dos Acadêmicos de Cursos de
Engenharia.
No curso em referência trato, formalmente, de
Métodos e Técnicas necessários para a Avaliação de Argumentos Dedutivos
sujeitos à Teoria da Argumentação Lógica e Teoria da Demonstração evidenciando,
em conjunto, formas alternativas de implementação distintas das usualmente em
vigência.
Tomando por base a Álgebra da Lógica, de forma
axiomatizada, desenvolvo o curso objetivando, também, a instituição de
procedimentos formais para a Correção de Falácias ou Sofismas (estritamente dedutivas).
Fortemente algebrizado o curso é, também,
condicionado pela Completude e Corretude da Lógica Matemática de Primeira Ordem
para promover a redução dos Operadores Lógicos com a devida Consistência
Lógica.
Carlos Magno Corrêa Dias
02/06/2014