Course Unit – Logic

8 ECTS – 1st level (First Degree)

2021- 2022, 1st Semester

Instructors: Adriana Silva Graça

Language of Instruction: Portuguese

 

Course Description:

Introduction – What Is Logic?

1 – Propositional Calculus

2 – First Order Predicate Calculus

 

Grading and Assessment:

Students are expected to make two written tests:

1st test – November 8, 2021

2nd test – December 16, 2021

 

 

Readings (selection):

H. Kahane, Logic and Philosophy (1969, 1st edition – other editions would do).

Exercises book by João Branquinho