A Serpente e a Raposa

About this book

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.