Questions from Textbook

Question 1

Question 2

Questions from Lecture Notes

Chapter 1.1 (Propositional logic)

Exercise 1

Exercise 2

Exercise 3

Exercise 4

Exercise 5

Exercise 6

Exercise 7

Chapter 1.2 (Predicate logic)

Exercise 1

Exercise 2

Exercise 3

Exercise 4

Exercise 5

Chapter 1.3 (Formal reasoning)

Exercise 1

Exercise 2

Exercise 3

Exercise 4

Exercise 5

Exercise 6

Questions from Tutorials

Chapter 1.1 (Propositional logic)

Question 1

Question 2

Question 3

Question 4

Question 5

Question 6

Question 7

Chapter 1.2 (Predicate logic)

Question 1

Question 2

Question 3

Question 4

Chapter 1.3 (Formal reasoning)

Question 1

Question 2

Question 3

Question 4

Question 5

Question 6

Question 7