- #1

ayham123

- 2

- 0

## 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.

## 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 ?