Match the given doubly quantified predic ates with a logic a

Match the given doubly quantified predic ates with a logic ally equivalent meaning in English. P(x.y) means \"x > y\" on the domain of all positive real numbers. A. No positive real number is bigger than any other. B. There is a smallest positive real number. C. No matter what positive real number you pick, there\'s always a bigger one. D. There is a largest positive real number. E. There is no largest positive real number. F. For every positive number, there is another one that is not bigger than it. G. Every positive real number is bigger than at least one other one. H. There is a postive real number that is bigger than some other one.

Solution

I F

II C

III G

IV F

VIII D