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...