A Lógica Matemática não é apenas uma disciplina auxiliar; ela é a estrutura sobre a qual se ergue todo o pensamento científico e tecnológico. Com essa convicção, entre março e abril de 2011, assumi o desafio de propor, organizar e ministrar o Curso de Extensão Universitária em "Cálculo Sentencial Dedutivo em Lógica Matemática", o qual desenvolvi no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná).
DIAS, Carlos Magno Corrêa - 2026
A iniciativa foi chancelada pelo Departamento Acadêmico de Matemática (DAMAT) e oficializada pela Divisão de Cursos de Extensão (DIECE) da UTFPR. Meu objetivo central, enquanto idealizador e instrutor, foi oferecer aos Estudantes de Graduação dos Sistema UTFPR “um mergulho nas Estruturas Algébricas do Cálculo Proposicional de Primeira Ordem.
Em um ambiente tecnológico, a capacidade de realizar a avaliação formal de raciocínios lógicos dedutivos bivalentes e dicotômicos é uma competência crítica. O curso foi desenhado para ser uma imersão técnica e fechada, focada em um público que já convivia com o rigor acadêmico, mas que necessitava de uma fundamentação lógica mais robusta para suas respectivas áreas de estudo.
O cronograma foi distribuído em sete encontros estratégicos. Optei por uma metodologia clássica e, a meu ver, extremamente eficaz para o ensino da Lógica Formal (Lógica Matemática). Acredito que a construção do Raciocínio Lógico, passo a passo, permite que o Estudante acompanhe o desenvolvimento da dedução de forma mais orgânica do que em apresentações estáticas.
O Conteúdo Programático foi estruturado para evoluir da base à aplicação: (1) Fundamentação: iniciei com a Linguagem Proposicional e os Sistemas Bivalentes; (2) Estruturação: Avancei tratando formalmente a Álgebra Proposicional e suas relações fundamentais; (3) Aplicação: apresentei série de Argumentos Dedutivos e Inferências Formais de Primeira Ordem que poderiam ser utilizadas como auxiliadoras nos processos analíticos envolvidos no Campo das Exatas.
O foco não foi apenas “a Teoria pela Teoria”, mas sim estabelecer “Critérios de Avaliação de Raciocínios”, permitindo que o Estudante distinguisse, com precisão Matemática, a validade de inferências frequentemente apresentadas em disciplinas analíticas chaves dos Cursos de Graduação.
O Curso foi "fechado" para Estudantes dos Campi da TECNOLÓGICA permitindo um nível de profundidade e um ritmo de trabalho que dificilmente seriam alcançados em um evento de divulgação ampla.
Recordando a correspondente Ação de Extensão do início de 2011, vejo, com satisfação, que a organização e desenvolvimento daquela atividade cumpriu seu papel extensionista: o de levar o conhecimento acadêmico especializado para além da grade curricular obrigatória, fortalecendo o rigor intelectual necessário para a formação dos futuros Engenheiros, Tecnólogos e Cientistas oriundos da Universidade.
Carlos Magno Corrêa Dias
23/03/2026
Recordando a correspondente Ação de Extensão do início de 2011, vejo, com satisfação, que a organização e desenvolvimento daquela atividade cumpriu seu papel extensionista: o de levar o conhecimento acadêmico especializado para além da grade curricular obrigatória, fortalecendo o rigor intelectual necessário para a formação dos futuros Engenheiros, Tecnólogos e Cientistas oriundos da Universidade.
Carlos Magno Corrêa Dias
23/03/2026