A estreita ligação entre Lógica e Computação está principalmente relacionada ao desenvolvimento de linguagens para modelar situações e problemas, com vistas às suas soluções. Raciocinar sobre essas situações significa construir argumentos sobre elas. Para a especificação e o desenvolvimento de argumentos de maneira rigorosa é preciso primeiro estabelecer uma linguagem na qual se possa expressar sentenças evidenciando sua estrutura lógica. A Lógica Proposicional e a Lógica de Predicados, os principais assuntos tratados em A Cartilha da Lógica, são duas dessas linguagens formais. O material aborda também os principais conceitos e resultados da Álgebra de Boole, com o objetivo principal de apresentação de métodos de minimização de expressões booleanas. Para facilitar o aprendizado, A Cartilha da Lógica inclui 138 exemplos, 30 figuras, 106 tabelas e 53 exercícios.