Para ajudá-lo a compreender mais facilmente a lógica matemática, esta obra trabalha passo a passo o desenvolvimento de conteúdos como a tabela-verdade, o cálculo proposicional e os elementos de negação, disjunção, conjunção, condição e equivalência. Além disso, explica como funcionam tautologias, contradições, contingências e relações de implicação e equivalência e discorre extensamente sobre sentenças abertas.