Este livro apresenta os primeiros e principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e áreas correlatas como - Matemática, Filosofia, Engenharias e Direito.