Lógica Formal em Extensão Universitária.

“CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL” é mais um dos Cursos de Extensão Universitária que ministro para Acadêmicos de Cursos de Engenharia objetivando apresentar e disseminar Métodos e Técnicas em Teoria da Argumentação Lógica Dedutiva e Teoria da Demonstração para a necessária Avaliação de Argumentos Lógicos Dedutivos e para a Correção de Falácias ou Sofismas.

No Curso “CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL” apresento, também, a Álgebra da Lógica associada a um tratamento Axiomático das Operações visando a Redução do Número de Operadores Lógicos para a instanciação de Modelos Consistentes alternativos e não usualmente implementados.

Carlos Magno Corrêa Dias

01/06/2014