Statement and Predicate Logic - Summaries of Theory and Exercises Solved

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

This book is designed for university students, scientific branch and even Philosophy. It contains summaries of theory and exercises solved. Specifically: how connectives and quantifiers are used to formalize statements and reasoning, and how to use the methods of natural deduction, resolution and truth tables, to validate whether a reasoning is correct or not. We often use the word "logic". On a day-to-day, we express opinions as a result of information we have. Those opinions in logic are "conclusions", and the information are "premises". But is your opinion always correct?, or, is some information not completely true, or is it not expressed properly, and your opinion is incorrect?. Sometimes our rational mind deceives us, and it happens that what seemed true, it is not, or what seemed impossible that it was true, it is. They say that the scientific world is not distant from the philosophical and the artistic. And it's true. All are an art.