Question: Translate the following English sentences into statements of predicate calculus that contain double quantifiers and explain whether it is a true statement.
a. Every rational number is the reciprocal of some other rational number.
b. Some real number is bigger than all negative integers.