Esta obra trabalha os conteúdos de base da lógica matemática, desenvolvendo temas como: tabela-verdade; tautologia, contradição e contingência; teoria dos conjuntos; sentenças abertas; implicações lógicas e inferências; equivalências lógicas; os conceitos de argumento, premissa, silogismo, sofisma e paradoxo; proposições inconsistentes; lógica quantitativa; portas lógicas e circuitos lógicos.