Este livro procura tornar claros os principais temas de Lógica simbólica, dando ênfase à 'tradução' formal de idéias formuladas na linguagem comum e às técnicas dedutivas - mostrando como concluir corretamente a partir de premissas dadas. O leitor tem facilitada, aqui, a sua tarefa de compreender o papel da Lógica moderna, preparando-se convenientemente para a leitura de trabalhos avançados.