Contribuindo com a “Preservação e a Guarda da Produção Intelectual Nacional”, a Fundação Biblioteca Nacional (FBN), do Ministério da Cultura (MinC), recebeu, em 05/04/2001, por meio da DDL (Divisão de Depósito Legal), exemplares da segunda edição de minha intitulada “Lógica matemática: introdução ao cálculo proposicional” (ISBN:85-900661-6-9), a qual gerou o Registro FBN 199.382, de 28/04/2001.
DIAS, Carlos Magno Corrêa - 2026
A produção de uma obra científica não se encerra quando o raciocínio lógico atinge sua prova final. O ciclo de vida de um livro técnico, especialmente em uma área fundamental como o da Lógica Matemática, ganha sua real dimensão de perenidade por intermédio do rito do Depósito Legal e de suas consequências.
Ao consolidar a segunda edição de “Lógica matemática: introdução ao cálculo proposicional” em 2001, com o Depósito Legal na FBN se instaura a transcendência da mera formalidade burocrática para a transformação em compromisso com a história da Ciência do Brasil.
O registro na DDL da FBN/MinC assegura que o esforço intelectual empreendido na produção da obra depositada seja salvaguardado para as futuras gerações; garante a guarda no acervo nacional; possibilita a disponibilidade para pesquisadores e estudantes para acessar informações sobre a evolução do Pensamento Lógico, bem como reforça a contribuição brasileira no campo das Ciências Exatas e da Tecnologia posicionando a obra no mapa da bibliografia acadêmica oficial.
A segunda edição do livro em referência reflete um amadurecimento didático e estrutural. A obra foi reorganizada para atender de forma mais incisiva os Estudantes das Universidades, separando o conteúdo teórico da aplicação prática.
A inclusão de capítulos sobre Sistemas Axiomáticos e Álgebra Booleana expande o horizonte do leitor, conectando a pureza da Lógica Sentencial às suas aplicações práticas em Redes Elétricas e Portas Lógicas. É a materialização de uma visão onde a Lógica não é apenas um fim em si mesma, mas uma ferramenta vital para o discernimento e a análise inferencial.
Ao garantir que a "Introdução ao Cálculo Proposicional" que realizei na segunda edição de “” esteja registrada nos anais da cultura nacional, celebro não apenas o livro, mas o próprio exercício do raciocínio dedutivo como pilar da educação.
Que o referido registro FBN 199.382, ocorrido há mais de um quarto de século, continue convite para que a Lógica se fortaleça como instrumento de clareza e verdade, acessível a todos aqueles que desejam desbravar os fundamentos da Matemática e do Pensamento Crítico.
Carlos Magno Corrêa Dias
05/04/2026
P.S.: DIAS, Carlos Magno Corrêa. Lógica matemática: introdução ao cálculo proposicional. 2. ed. Curitiba: Ed. do Autor, 2001. ISBN 85-900661-6-9. Depósito Legal na FBN/MinC. Registro FBN número 199.382 de 28 abr. 2001.








-CMCD-L.png)
-CMCD-L.png)