# 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