E os registros seguem contando a história.
Assim, já há dez anos passados, há uma década, concluía o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA no qual apresentei as Estruturas Algébricas do Cálculo Proposicional da Lógica Matemática de Primeira Ordem para a Avaliação Formal de RACIOCÍNIOS LÓGICOS DEDUTIVOS BIVALENTES E DICOTÔMICOS.
DIAS, C. M. C - 2011
Preparei e ministrei o Curso exclusivamente para os meus Alunos regularmente matriculados nos Cursos de Graduação dos Campi da TECNBOLÓGICA, da Universidade Tecnológica Federal do Paraná (UTFPR).
Durante o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA, desenvolvido entre 17/03/2011 e 14/04/2011, abordei temas como Linguagem Proposicional, Sistemas Bivalentes e Dicotômicos, Estruturação da Álgebra Proposicional Operações Lógicas Fundamentais), Relações Lógicas Fundamentais (Relações de Implicação Lógica e Relações de Equivalência Lógica, Argumentos Dedutivos, Inferências Formais de Primeira Ordem, e, Critérios de Avaliação de Raciocínios Dedutivos Sentenciais.
Com o evento ampliava, uma vez mais, o exército de futuros Profissionais que passavam a ter conhecimentos necessários em Lógica Matemática para o bem pensar logicamente.
Carlos Magno Corrêa Dias
17/08/2021
Carlos Magno Corrêa Dias
17/08/2021