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