Translate the following English sentences into statements of predicate calculus that contain double quantifiers and indicate whether each is true or false.
Translate the following English sentences into statements of predicate
calculus that contain double quantifiers and indicate whether each is true or false. Provide your reasoning:
a. Any even integer is equal to twice some other even integer
b. Some natural number is no bigger than every natural number