Mais outro Curso de Extensão Universitária concluído na UTFPR e promovendo a Certificação de Acadêmicos de Engenharia no Campo da Lógica Formal.
Agora, no dia 30/07/2014, conclui o Curso intitulado CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA.
Neste outro Curso tratei conjunto de instruções técnicas desenvolvidas em Álgebra da Lógica (no Cálculo Lógico) para promover a avaliação formal do Raciocínio Lógico Dedutivo tomando por referência, de forma estrita, a Teoria da Demonstração e a Análise Inferencial.
Meus parabéns aos participantes que conseguiram mais esta Certificação. Que a força da LÓGICA continue sempre gerando poder para o bem raciocinar e comandar.
Carlos Magno Corrêa Dias
01/08/2014