Advertisement
Guest User

Untitled

a guest
Jun 24th, 2019
58
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.19 KB | None | 0 0
  1. Use the predicate Like(x, y) which is read as “x likes y”.
  2. Use the predicate Subject(x) as well, which is read as “x is a school subject”.
  3. Equal = and not equal ≠ are also to be used.
  4. Use x and y as variable names.
  5. Express the following sentences a) – f) in predicate logic:
  6.  
  7. (a) Stina likes all subjects.
  8. ∀x (Subject(x) -> Like(Stina, x) )
  9.  
  10. (b) There is a subject that Gustav likes.
  11. ∃x (Subject(x) -> Like(Gustav, x))
  12.  
  13. (c) Hubert likes something that Svante and Gustav like.
  14. ∀x (Subject(x) ∧ Like(Svante, x) ∧ Like(Gustav, x) -> Like(Hubert, x))
  15.  
  16. (d) Rut doesn’t like herself but she likes everyone who likes her.
  17. ∀x (¬Like(Rut, Rut) ∧ Like(x, Rut) -> Like(Rut, x))
  18.  
  19. (e) Gustav likes someone who likes math.
  20. ∀x∃y (Subject(y) ∧ y = math ∧ Like(x, y) -> Like(Gustav, x))
  21.  
  22. (f) Hubert likes all subjects except for math and logic, and Gustav likes math, Rut likes logic and Svante likes Rut and statistics.
  23. ∀x (Subject(x) ∧ x ≠ math ∧ x ≠ logic -> Like(Hubert, x))
  24. ∀x (Subject(x) ∧ x = math -> Like(Gustav, x))
  25. ∀x (Subject(x) ∧ x = math -> Like(Rut, x))
  26. ∀x ((Subject(x) ∧ x = statistic) V (x = Rut) -> Like(Svante, x))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement