Resumo de Um Prelúdio à Lógica

Obra que trata da nova lógica no desenvolvimento da filosofia da

linguagem e de modelos formais de larga aplicação na inteligência
artificial. Seus autores desenvolvem o cálculo proposicional a partir de
uma linguagem natural, respeitando os princípios de Aristóteles para a
lógica, culminando no estudo da validade de inferências lógicas;
introduzem o sistema formal do cálculo proposicional; estudam algumas
propriedades do sistema; apresentam a álgebra dos conjuntos que
caracteriza um outro sistema booleano; estudam os silogismos
aristotélicos; mostram como se pode caminhar com a lógica, envolvendo
em um único sistema formal as concepções lógicas tratadas no livro e a
adequação deste sistema para a matemática contemporânea; discorrem
sobre a amplidão de possibilidades de investigações lógicas atualmente; e
introduzem noções básicas dos sistemas fuzzy ou lógica fuzzy.

Abordam, também, a particular relevância do papel da lógica em meio ao

mais presente e revolucionário dos desenvolvimento s tecnológicos
contemporâneos: a computação.

Acesse aqui a versão completa deste livro