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