1. The problem statement, all variables and given/known data 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. Relevant 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
Did you not read the rules for this forum? You must show your own work, not just ask others to do the problems for you.