You partially provided me answers to the following questions:

Question 1 - Translate the following sentences into a statement of predicate calculus than contains two quantifiers:

a. "Any even integer is equal to twice some other even integer"

b. "Some natural number is no bigger than every natural number"

Question 2 - Refer to the statements in question 1 and indicate whether they are true or false. Provide reasoning.

I have attached the answers you provided but you did not provide me with the "reasoning" why the statements were true or false. Can you please provide me the reasoning?

Thank you.

\f