No ano de 1991, em março daquele ano, há mais de 30 (trinta) anos, há mais de 3 (três) décadas, portanto, era publicado na Revista Acadêmica da Puc-PR (Pontifícia Universidade Católica do Paraná) o meu artigo intitulado LÓGICA MATEMÁTICA - UMA INTRODUÇÃO AO CÁLCULO PROPOSICIONAL.
DIAS, C. M. C. - 2021
Naquele artigo apresento um compêndio circunstanciado de minhas pesquisas e estudos no campo da Lógica Formal Dedutiva (na área que defino como Engenharia Lógica) onde considero métodos formais de verificação para avaliar a legitimidade de Argumentos Dedutivos utilizando Operações e Relações Lógicas do Cálculo Proposicional. Apresento, também, considerações sobre a avaliação formal de Sofismas ou Falácias.
O artigo em referência é um trabalho importante não apenas pelo valor científico e inovador que apresenta, mas, também, por constituir base de diversas Ações de Extensão Tecnológica e Universitária que passei a desenvolver mais sistematicamente no campo da Lógica Matemática para a Comunidade em geral.
Carlos Magno Corrêa Dias
30/06/2021