Obra Sobre Lógica Matemática Gera Novo Registro de Propriedade Intelectual.

Em 12 de julho de 2012 recebi mais um Registro de Propriedade Intelectual emitido pelo Escritório de Direitos Autorais (EDA) da Biblioteca Nacional (BN), Ministério da Cultura, referente à terceira edição do livro de minha autoria intitulado LÓGICA MATEMÁTICA: INTRODUÇÃO AO CÁLCULO PROPOSICIONAL, que editei e publiquei no ano de 2011. A obra, com 530 (quinhentas e trinta) páginas e dividida em nove capítulos, trata da Álgebra Proposicional necessária para o estudo da Teoria da Argumentação Dedutiva em Lógica Formal de Primeira Ordem.

Este livro aborda, com desejável rigor e grau de abrangência, sem, contudo, restringir-se a aprofundamentos técnicos exacerbados, procedimentos formais necessários para identificar raciocínios dedutivos válidos, bem como, para a correção de falácias ou sofismas (os chamados raciocínios não válidos). Na obra são apresentadas considerações sobre a Álgebra da Lógica Proposicional, a Análise Inferencial e a Teoria da Argumentação Lógica. Acrescento que um estudo particular sobre Paradoxos e Antinomias é, também, levado em consideração na obra em referência.

Nos últimos dois capítulos do livro são apresentadas, em particular, observações gerais sobre escolhidos Sistemas Axiomáticos em Lógica Matemática, bem como, ponderações sobre Álgebra Booleana, Matemática de Comutação e Lógica Digital; sendo os últimos assuntos tratados como exemplos aplicativos da Lógica Matemática Proposicional.

Carlos Magno Corrêa Dias
Curitiba-PR, 06/07/2012