- 2

- 0

**1. Homework Statement**

Express the following statements using { not, implies, or , and} and quantifiers over natural numbers n, we can only use {+,-,x,>,=} as primitive operations and relations over n.

**2. Homework Equations**

a) even number n is a sum of four perfect squares?

b) every number n greater than 2 is not dividsible by n -1 ?

**3. The Attempt at a Solution**