Exercise Contents
Exercise Four: 4.1 - 4.2  
More Exercises

Exercise 4.2



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.





Print this page Print this page