Mais uma vez o deduzir em ENGENHARIA LÓGICA é chamado em minhas obras para a comprovação raciocínios válidos, bem como, para adquirir instrumentação técnica necessária para a correção de falácias ou sofismas existentes em mundos possíveis nos quais a LÓGICA é determinante.
Em meus SISTEMAS AXIOMÁTICOS EM LÓGICA DEDUTIVA (ISBN: 978-85-88925-26-7), de 2016, são apresentados os pressupostos necessários para, centrado na Álgebra do Cálculo Sentencial e do Cálculo dos Predicados, proceder, de forma analítica, a avaliação efetiva de raciocínios lógicos dedutivos a partir de argumentos sentenciais ou predicativos.
Cumpre observar, também, que se trata de obra premiada com Depósito no acervo da Biblioteca Nacional do Brasil a qual vem integrar a especial Coleção Memória Nacional onde estão encontra-se reunida a Produção Intelectual do Brasil.
Como sempre saliento, com júbilo, ter mais uma obra sob a guarda da nossa Biblioteca Nacional, oficialmente, a Depositária do Patrimônio Bibliográfico e Documental do Brasil, é honra sem igual. Mais uma contribuição, mais uma conquista.
Carlos Magno Corrêa Dias
26/01/2017