IST Press published the book “Lógica e Raciocínio” (“Logic and Reasoning”)‚ by João Pavão Martins.

Logic is one of the foundations of scientific thinking. Logical reasoning is closely related to different areas of knowledge, such as biology, law, medicine, economics and information technology. In each of these areas there is a concern to differentiate between rational arguments, based on principles or evidence, and speculations that do not result from a set of assumptions. That is, all these areas of knowledge are based on the basic principles of Logic.

This book aims to cover the fundamental elements of propositional and 1st-order logic, and to introduce the reader to logic programming and Prolog language.

It presents the main concepts of classical logic and its computational methods. It also presents cases in which Logic is at the service of Computer Science. Examples of this are the role of Logic in Knowledge Representation and, much more developed, the role of Logic in Declarative Programming. The main Logic textbooks do not address this combination of Logic and Computer Science. For example, there are no textbooks that fully cover the fundamental concepts of logic and at the same time present SAT and logic programming.

The book, which is especially aimed at Computer Science students, is available at IST Press online store and in bookstores: Almedina, Bertrand, Fnac, Wook, etc.