Statement and Predicate Logic – Summaries of Theory and Exercises Solved

by Mercedes Orus Lacort

This book is designed for university students, scientific branch and even Philosophy. It contains summaries of theory and exercises solved. 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.

176 pages, Paperback

Published February 14, 2018

About the author

I am Mercedes Orús-Lacort, I am MSc in Mathematics from the Autonomous University of Barcelona since 1988. I have 12 years of experience in the IT sector, where I worked for the software development company Wolters Kluver (formerly A3 Software) from September 1988 to November 2000. From November 2000 I am working in Academic field as a Lecturer,