FILO-1000B Logic I
The course is an introduction of elemental symbolic logic study. It is targeted at students from all careers and does not require any prior particular knowledge. The starting point is the study of the logic structure of propositions and arguments in Spanish. Once appropriate understanding of basic concepts is achieved, formal elements are introduced. Propositional logic is presented in an accessible, but also strict manner. The most important notions are given a formal definition and an informal explanation, and are illustrated with multiple examples and various exercises. At the end of the course, predicate logic is introduced, which is the basis for the Logics 2 course.
Instructor
Paez Peñuela Andres
Catalog page for this course