Seguindo as celebrações sobre as produções de 2000 quanto aos registros de PI (Propriedade Intelectual) no EDA (Escritório de Direitos Autorais) da Fundação Biblioteca Nacional (FBN) é a vez de festejar a PI de minha obra “Lógica matemática: introdução ao cálculo proposicional” (ISBN: 85-900661-3-4), a qual foi consignada em 28/04/2000.
DIAS, C. M. C. - 2025
O objetivo da obra foi o de apresentar uma introdução (a mais didática e acessível possível) à parte elementar (diga-se, fundamental) da Lógica Matemática: o Cálculo Proposicional. Direciono, então, a obra principalmente a Acadêmicos de Cursos Universitários das Ciências Exatas e de Tecnologias, mas enfatizo que o conteúdo é compreensível para todos que possuam interesse no assunto.
O livro é estruturado em oito capítulos sendo apresentado no Capítulo I uma compendiada abordagem sobre a História da Lógica Matemática a qual considera as principais contribuições para a Lógica desde Aristóteles até os tempos modernos.
Os Capítulos II a VI formam o núcleo da obra ao se apresentar os conceitos essenciais do Cálculo Proposicional. No Capítulo II são considerados conceitos fundamentais como proposições, conectivos lógicos, tabelas-verdade e fórmulas proposicionais; no Capítulo III é tratado o Método das Tabelas-Verdade para analisar tautologias, contradições e contingências; no Capítulo IV são estudadas as Relações de Equivalência e Implicação Lógica; no Capítulo V é desenvolvido um "tratamento algébrico" das operações lógicas, explorando simplificação de fórmulas e formas normais; e, no Capítulo VI são abordadas Técnicas de Dedução e Regras de Inferência.
Os Capítulos VII e VIII são complementares e foram pensados para motivar o leitor a aprofundar os estudos. No Capítulo VII apresento uma discussão sobre paradoxos e antinomias, destacando sua importância para a Lógica e Matemática; e, no Capítulo VIII exponho uma coleção de problemas de raciocínio lógico para que o leitor aplique os conceitos aprendidos.
“Lógica matemática: introdução ao cálculo proposicional” é fruto de minha experiência em sala de aula e foi engendrado para oportunizar a superação de dificuldades dos Acadêmicos quanto ao bom desenvolvimento do Raciocínio Lógico. O estilo da obra sempre cativou os leitores por ser “intencionalmente informal”, buscando facilitar o aprendizado sem, no entanto, perder o rigor científico necessário para se prosseguir fortemente em estudos mais avançados.
O Registro 199.382, apostilado no Livro 344, Folha 41, no Rio de Janeiro (RJ), da obra (DIAS, Carlos Magno Corrêa. Lógica matemática: introdução ao cálculo proposicional. Registro número 199.382. Rio de Janeiro: EDA/FBN, 2000.) é mais uma contribuição ao conjunto nacional de PI do Brasil e, a obra integrando o acervo da Biblioteca Nacional (BN), faz parte da Coleção Memória Nacional da BN e ajuda a ampliar a cultura e o conhecimento produzidos no Brasil.
Carlos Magno Corrêa Dias
17/08/2025