Introducing the foundations of propositional and predicate logic.

EXPECTED LEARNING OUTCOMES

KNOWLEDGE 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.