7.1 Semantics Demonstration
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:
Is (*) true? How do we tell? (Start the Demo and see!)