7.1 Semantics Demonstration
Multiple Quantifiers

Assume the following interpretation:

universe of discourse = the counting numbers: 1,2,3, etc.
Gxy: x is greater than y

Now, consider the English sentence "For every number w there is a greater number z" and its PL symbolization:

(*)    (^w)(%z)Gzw

Is (*) true? How do we tell? (Start the Demo and see!)