Part I: Translate the following English sentences into statements of predicate calculus that contain double quantifiers: Any even integer is equal to...

Part I: Translate the following English sentences into statements of predicate calculus that contain double quantifiers:

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

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

Part II:  Refer to the statements in part I and indicate whether each is true or false. Provide your reasoning.