Mais uma vez o deduzir em Engenharia Matemática é chamado em minhas obras para possibilitar ao leitor identificar formas válidas de raciocínios dedutivos, bem como, adquirir instrumentação técnica necessária para a avaliação e correção de argumentos não válidos existentes em mundos possíveis nos quais o raciocínio dedutivo se opera de forma determinante.
Em 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 (Cálculo Proposicional) e do Cálculo dos Predicados (Cálculo das Funções Predicativas), proceder, de forma analítica (formal), a avaliação efetiva de raciocínios lógicos dedutivos a partir da decodificação de argumentos sentenciais ou predicativos.
Cumpre observar que SISTEMAS AXIOMÁTICOS EM LÓGICA DEDUTIVA é, também, obra premiada com Depósito no acervo da Biblioteca Nacional do Brasil. Com registro número 5.449/2016, de 19/12/2016, o livro referenciado integra a especial Coleção Memória Nacional a qual reúne 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 e uma das mais importantes Bibliotecas Nacionais do mundo segundo classifica a UNESCO, é honra sem igual. Mais uma contribuição de muitas outras que espero poder conquistar.
Carlos Magno Corrêa Dias
24/01/2017