Este livro apresenta os principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e áreas correlatas. São apresentadas as Lógicas Proposicional e de Predicados, que são essenciais na formação de profissionais de Ciência da Computação e também daqueles que se interessam pelo conhecimento da Lógica, como filósofos, matemáticos, físicos, engenheiros advogados, administradores etc. O livro não requer nenhum pré-requesito, nem mesmo maturidade matemática. Mas, mesmo sendo introdutório, há uma ênfase na apresentação matemática rigorosa e no desenvolvimento de demonstrações mais elementares. Ele pode ser utilizado como livro-texto em diversos tipos de cursos de Lógica. Em um curso de dois semestres para alunos do início da graduação ou em um curso semestral no final da graduação. Ele também pode ser utilizado em cursos semestrais de Pós-Graduação onde todas as demonstrações e os mais de 700 itens de exercícios devem ser considerados em detalhe.