1.
|
Provide formalisations of the sentences below using the following
domain and interpretation:
| |
Domain:
everything |
| |
a:
John |
| |
Exy:
x is an exam taken by y |
| |
Ux:
x is an undergraduate |
| |
Dx:
x got a degree |
| |
Pxy:
x passed y |
| |
Hxy:
x worked harder than y |
|
| |
(i)
|
No
undergraduate who worked less hard than John got a degree |
| |
(ii) |
If undergraduates passed all their exams they got a degree |
| |
(iii)
|
[John
worked harder than any undergraduates who did not pass all their exams |
| |
(iv)
|
Only
undergraduates who worked harder than John got a degree – and even
some of those didn't, though some did. |
