Ao olhar para trás e revisitar o artigo "Lógica matemática: uma introdução ao cálculo proposicional", publicado originalmente em março de 1991, na Revista Acadêmica da PUC-PR, celebro não apenas um registro bibliográfico, mas o marco de 35 anos de um trabalho dedicado ao pensamento estruturado e à educação científica e tecnológica.
Naquela época, em Curitiba, o objetivo era claro: oferecer uma base sólida e acessível sobre os fundamentos que regem o raciocínio lógico. Entendo o Cálculo Proposicional como a pedra angular para disciplinas como a Matemática e a Computação. Publicar aquele trabalho pela Pontifícia Universidade Católica do Paraná (PUC-PR) foi um passo para consolidar o diálogo entre a Academia e a aplicação prática da Lógica.
O artigo, que ocupa as páginas 11 a 15 do terceiro fascículo daquela edição semestral, propõe uma jornada estruturada pelos conectivos lógicos, tabelas-verdade e a validade dos argumentos. Embora as Tecnologias tenham evoluído exponencialmente desde 1991, os Princípios Lógicos ali expostos permanecem imutáveis e mais relevantes do que nunca, especialmente no contexto da Inteligência Artificial (IA) e da Engenharia Lógica.
DIAS, Carlos Magno Corrêa - 2026
Hoje, com satisfação, vejo que o trabalho de três décadas atrás está preservado e acessível a novas gerações de Estudantes e Pesquisadores por meio do Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT). Ter o texto disponível digitalmente permite que aquela semente plantada no início dos anos 90 continue a frutificar, servindo de referência para quem busca compreender a estrutura do pensamento racional.
DIAS, Carlos Magno Corrêa - 1991
Rever "Lógica matemática: uma introdução ao cálculo proposicional" é reafirmar, também, meu compromisso com a Ciência, com as Tecnologias e com o Ensino. A Lógica não é apenas uma ferramenta poderosa da Matemática; é (como sempre digo) a Linguagem que possibilita organizar o caos e construir o conhecimento com clareza e precisão.
O texto completo (tal qual foi publicado) pode ser acessado diretamente no RIUT no endereço https://repositorio.utfpr.edu.br/jspui/handle/1/419.
No texto argumento que Matemática e Lógica Matemática são interdependentes, mas a Matemática se constrói sobre uma base lógico-racional, enquanto a Lógica Matemática se consolida através de processos matemáticos. Ambas as Ciências operam no mundo da abstração formal, onde a "verdade" de um enunciado é determinada por sua forma (sintaxe) e não pelo seu significado semântico usual.
O texto em referência é tomado como um "manual de instruções" da infraestrutura lógica sobre a qual a sociedade moderna foi construída sendo de extrema relevância para a realidade contemporânea, especialmente porque vive-se na era da Transformação Digital e da IA, áreas que são, em última análise, aplicações práticas dos conceitos que discuti (formalmente) com desejado grau de complexidade.
Carlos Magno Corrêa Dias
11/03/2026