Course – Logic
8 ECTS – 1st level (First Degree)
2023- 2024, 1st Semester
Instructors: Adriana Silva Graça
Language of Instruction: Portuguese
Course Description / Syllabus:
Introduction – What Is Logic?
1 – Propositional Calculus
2 – First Order Predicate Calculus
Grading and Assessment:
Students are expected to make two written tests in class:
1st test – November 2, 2023
2nd test – December 14, 2023
Readings (selection):
H. Kahane, Logic and Philosophy (1969, 1st edition – other editions would do).
Exercises book by João Branquinho