Statement and Predicate Logic Summaries of Theory and Exercises Solved

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.