Lógica para Ciência Da Computação

the long version

Este livro apresenta, de forma concisa, 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. Para estudar seu conteúdo não é necessário nenhum pré-requisito, 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 dive