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.