Jitpro Exercises 5
Jitpro Exercise 5.1
Jitpro Exercise 5.2
Jitpro Exercise 5.3
Jitpro Exercise 5.4 (Boolean Connectives)
The following problems verify the solutions to parts of Exercise 1.2 of Assignment Sheet 1
Jitpro Exercise 5.5 (Sets as Functions)
The following problems verify the solutions to parts of Exercise 1.3 of Assignment Sheet 1
Jitpro Exercise 5.6 (Identities and Quantifiers)
The following problems verify the solutions to parts of Exercise 1.4 of Assignment Sheet 1
Jitpro Exercise 5.7 (Henkin's Reduction)
These problems verify the solutions to parts of Exercise 1.5 of Assignment Sheet 1