Este livro oferece uma introdução sólida à lógica formal e ao raciocínio lógico, apresentando conceitos fundamentais como proposições, operadores, tautologias e inferências. Indicado para estudantes iniciantes na área da filosofia ou disciplinas correlatas.