A SERPENTE E A RAPOSA

Esta introdução não convencional à lógica destina-se a alunos sem formação especial em lógica ou em filosofia. O livro é estruturado em quatro partes, divididas em capítulos curtos que usam o método de perguntas e respostas, doze por capítulo, estando as respostas no final do livro. As respostas suplementam o texto principal e são instrumento de verificação da aprendizagem. Também as figuras que ilustram todo o livro têm a função de ajudar a memorização e tornar a leitura mais atraente. Os conceitos básicos da lógica e as formas comuns de argumentação são discutidos na primeira parte de maneira mais ampla do que costumam fazer os manuais de introdução. Na segunda parte é introduzida a lógica das declarações com tabelas de verdade para definir as principais constantes da função de verdade, bem como para avaliar a validade dos argumentos. A terceira parte utiliza os diagramas de Venn para abordar a lógica elementar dos conjuntos, e, a quarta parte volta à lógica das declarações usando regras de inferência para elaborar provas. A edição da obra utiliza os melhores recursos da computação gráfica para tornar agradável a sua leitura. A idéia da autora de fazer uma obra interativa foi muito bem sucedida não só pelo recurso ao método de perguntas e respostas, mas também pela referência a materiais adicionais para exercícios, que podem ser descarregados do seguinte site da Web: http://www.routledge.com.