Lá em 6 de julho de 2012 recordava o recebimento de mais um Registro de Propriedade Intelectual (PI) emitido pelo EDA da Biblioteca Nacional, Ministério da Cultura.
DIAS, C. M. C. - 2021
No caso, a terceira edição do livro de minha autoria intitulado LÓGICA MATEMÁTICA: INTRODUÇÃO AO CÁLCULO PROPOSICIONAL, publicado em 2011, há 10 (dez) anos, há uma década, recebia o correspondente registro de PI.
LÓGICA MATEMÁTICA: INTRODUÇÃO AO CÁLCULO PROPOSICIONAL tem 530 (quinhentas e trinta) páginas e foi dividido em nove capítulos. Basicamente a obra versa sobre a Álgebra Proposicional (Cálculo Sentencial ou Cálculo Proposicional) para o desenvolvimento da Teoria da Argumentação Dedutiva em Lógica Formal de Primeira Ordem.
Elaborei a obra com 9 capítulos iniciando no primeiro capítulo com um resumo sobre a História da Lógica Matemática. Capítulo este que enunciei como “Escorço histórico da Lógica Matemática”.
Do segundo ao sexto capítulo desenvolvo a Analítica da Lógica Sentencial propriamente apresentando: Capítulo II: Estruturação do Cálculo Proposicional, Capítulo III: Método das Tabelas-Verdade, Capítulo IV: Relações Lógicas no Cálculo Proposicional, Capítulo V: Álgebra Proposicional, e, Capítulo VI: Dedução no Cálculo Proposicional.
No Capítulo VII (Sistemas Axiomáticos em Lógica Sentencial) apresento (formalmente) considerações sobre os principais Sistemas Axiomáticos desenvolvidos em Lógica Matemática de Primeira Ordem Proposicional.
Um estudo particular sobre Paradoxos e Antinomias apresento e discuto no Capítulo VIII e concluo a obra no Capítulo IX (Álgebra Booleana) com uma ampla abordagem sobre Álgebra Booleana, Matemática de Comutação e Lógica Digital.
Ao final de cada capítulo da obra, excetuando o primeiro, apresento lista de exercícios seguida de respostas ou soluções.
A obra, então, como “introdução”, aborda, temas necessários para o conhecimento e entendimento do Cálculo Proposicional. Todavia, com desejável rigor e grau de abrangência, os temas não são tratados com exacerbados aprofundamentos técnicos desnecessários.
Carlos Magno Corrêa Dias
07/07/2021