O objetivo do livro e a apresentacao dos principais conceitos e metodologias associados a Logica para estudantes universitarios de Informatica. Introduz as nocoes de proposicao e de argumento e carateriza os seus possiveis valores, veracidade e falsidade e validade e invalidade, respetivamente. Apresenta os dois componentes de uma logica, o sistema dedutivo e o sistema semantico, definindo as relacoes entre eles, e introduzindo os conceitos de correcao e completude. Apresenta a logica proposicional e a logica de primeira ordem. Em relacao a cada uma destas logicas, discute a logica sob dois aspetos distintos. Por um lado, apresenta os conceitos logicos sob o ponto de vista tradicional, usando o sistema de deducao natural, de modo a fornecer bases solidas para a compreensao dos principios e da metodologia da Logica. Por outro lado, apresenta as tecnicas desenvolvidas para permitir que um computador possa utilizar raciocinio de uma forma automatica, nomeadamente recorrendo a resolucao, diagramas de decisao binarios, e algoritmos de SAT. Apresenta a programacao em logica, baseada na resolucao SLD e aborda o PROLOG, uma linguagem de programacao baseada em logica."