Objetivando apresentar técnicas e procedimentos formais para a análise da validada de Raciocínios Lógicos Dedutivos, formalizados segundo os pressupostos da Álgebra Proposicional e Teoria da Demonstração desenvolvidas no Cálculo Sentencial em Lógica Matemática de Primeira Ordem, desenvolvi, no período de 15/03/2010 a 14/04/2010, o Curso de Extensão Universitária e Tecnológica denominado TEORIA DA DEMONSTRAÇÃO EM LÓGICA MATEMÁTICA PROPOSICIONAL.
Neste 2025, então, já são passados mais de quinze anos do desenvolvimento do Curso de Extensão Universitária e Tecnológica em TEORIA DA DEMONSTRAÇÃO EM LÓGICA MATEMÁTICA PROPOSICIONAL e os correspondentes conteúdos ministrados seguem inovadores e necessários à formação dos Engenheiros como o foi na época de realização do mesmo.
No Curso de Extensão Universitária e Tecnológica em TEORIA DA DEMONSTRAÇÃO EM LÓGICA MATEMÁTICA PROPOSICIONAL, apresentado no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), exclusivamente para meus Alunos regularmente matriculados em disciplinas dos Cursos de Engenharia do Campus Curitiba da UTFPR que ministrava, tratou dos temas: Sistemas Formais Bivalentes e Dicotômicos; Cálculo Proposicional e Cálculo dos Predicados em Lógica Matemática; Conectivos e Operadores Lógicos; Verdade e Matriz de Verdade; Fórmulas Proposicionais; Relações de Equivalência; Relações de Implicação; Álgebra Proposicional no Cálculo Proposicional; Dedução e Argumentos Dedutivos; Validade e Verdade; Análise Inferencial e Teoria da Argumentação; bem como Raciocínio Lógico e Teoria da Demonstração.
DIAS, C. M. C. - 2025
A UTFPR conferiu certificado de participação aos concluintes que obtiveram 75% de frequência às aulas ministradas. O Curso de Extensão Universitária e Tecnológica em TEORIA DA DEMONSTRAÇÃO EM LÓGICA MATEMÁTICA PROPOSICIONAL foi ofertado gratuito para os participantes e não houve qualquer ônus para a Instituição dado não ter cobrado qualquer honorário para desenvolver aquela atividade de extensão. Uma vez mais cumpria minha prerrogativa particular quanto à extensão universitária de ser ofertada gratuitamente em Instituições de Ensino Superior Públicas.
O exército de Jovens detentores de conhecimento sobre os Cálculos Lógicos da Lógica Matemática se ampliava com o Curso de Extensão Universitária e Tecnológica em TEORIA DA DEMONSTRAÇÃO EM LÓGICA MATEMÁTICA PROPOSICIONAL.
Chegamos até aqui (a humanidade chegou até onde estamos) devido às relações simbióticas entre a Matemática e a Lógica.
Carlos Magno Corrêa Dias
09/03/2025