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