000270LIII - LOGIC

Introducing the foundations of propositional and predicate logic.
EXPECTED LEARNING OUTCOME
SKNOWLEDGE AND UNDERSTANDING
At the end of the module the student should be able to:

explain the difference between deductive, inductive and abductive reasoning;
explain the differrence between an inference and a rule of inference;
give examples of correct and incorrect inferences;
illustrate the main connectives used in logic, and their correspondents in natural language;
explain the concepts of equivalence and logical consequence;
illustrate the most important logical equivalences and consequences;
illustrate the quantifiers used in logic, and their correspondents in natural language;
describe the concept of model in predicate logic.

KNOWLEDGE AND UNDERSTANDING APPLIED
At the end of the course the student should be able to:

determine the truth tables of a proposition;
determine if a formula is a tautology or a contradiction;
determine the validity of an inference in propositional logic;
determine the truth value of a formula in predicate logic for a given model;
formalize propositions expressed in natural language in the languages of propositional and predicate logic.

COMMUNICATION SKILLS
At the end of the course the student will be able to express concepts using a correct and precise logic language.
CAPACITY TO LEARN
At the end of the course the student will be able to read and understand texts in which elementary concepts of logic are used.