Jitpro Exercises 5

Jitpro Exercise 5.1

Ping Pong

Jitpro Exercise 5.2

Double Instantiation (Tough!)

Jitpro Exercise 5.3

An equation on type B (special case of Kaminski Equation)

Jitpro Exercise 5.4 (Boolean Connectives)

The following problems verify the solutions to parts of Exercise 1.2 of Assignment Sheet 1

1.2(a) -- expressing conjunction in terms of false and implication.

1.2(b) -- expressing conjunction in terms of true, negation and disjunction

Jitpro Exercise 5.5 (Sets as Functions)

The following problems verify the solutions to parts of Exercise 1.3 of Assignment Sheet 1

1.3(a)

1.3(c)

Jitpro Exercise 5.6 (Identities and Quantifiers)

The following problems verify the solutions to parts of Exercise 1.4 of Assignment Sheet 1

1.4(a)

1.4(b)

1.4(d)

1.4(f) (Leibniz Equality)

Jitpro Exercise 5.7 (Henkin's Reduction)

These problems verify the solutions to parts of Exercise 1.5 of Assignment Sheet 1

1.5(b)

1.5(f)