Sinopse
Os estudantes de Lógica muitas vezes sentem alguma dificuldade para deduzir conclusões e para traduzir, em símbolos, as partes de um argumento. Os poucos exercícios contidos nos livros de Lógica simbólica não são suficientes para dar a necessária segurança ao principiante.
De outra parte, aumenta o número de estudiosos que têm procurado formalizar teorias, a fim de melhor delineá-las e melhor compreender o que delas poderia defluir.
Em vista disso, preparamos quatro fascículos contendo exclusivamente exercícios de Lógica: I Conectivos, tabelas, simbolização. II Dedução no cálculo sentencial. III Simbolização no cálculo de predicados. IV Dedução no cálculo de predicados.