Lösningar till övning 7

nyckel:

a = Arthur, b = Boris, c = Cecilia, p(x) = x talar, q(x,y) = x tala med y, r(x,y,z) = x talar om y för z, s(x) = x stampar

1. Arhur talar.
   p(a)
2. Boris talar och stampar.
   p(b) s(b)
3. Cecilia talar med Boris.
   q(c,b)
4. Arthur talar om Boris för Cecilia.
   r(a,b,c)
5. Arthur talar men stampar inte.
   p(a) s(a)
6. Arthur och Cecilia talar.
   p(a) p(c)
7. Boris stampar inte.
   s(b)
8. Varken Boris eller Arthur talar.
   (p(b) p(a))
9. Om Arthur talar, så stampar Boris inte.
   p(a) s(b)
10. Cecilia talar med Boris.
    q(c,b)
11. Boris talar om Cecilia för Arthur.
    r(b,c,a)
12. Om Cecilia talar med Arthur, så talar Boris inte med henne.
    q(c,a) q(b,c)
13. Boris talar med Cecilia endast om Arthur talar om Cecilia för honom.
    q(b,c) r(a,c,b)
14. Athur talar med Cecilia eller så talar de inte alls.
    q(a,c) (p(a) p(c))
15. Boris och Arthur talar med varandra.
    q(b,a) q(a,b)
16. Cecilia och Boris talar med varandra, men de stampar inte.
    q(c,b) q(b,c) s(c) s(b)
17. Alla stampar.
    xs(x)
18. Någon talar.
    xp(x)
19. Om någon stampar, så talar alla.
    xs(x) xp(x)
20. Om alla stampar, så talar alla.
    xs(x) xp(x)
21. Alla som stampar talar.
    x(s(x) p(x))
22. Någon stampar och någon talar.
    xs(x) xp(x)
23. Någon stampar och talar.
    x(s(x) p(x))
24. Om Arthur stampar, så talar alla.
    s(a) xp(x)
25. Artur talar med någon.
    xq(a,x)
26. Någon talar med Cecilia.
    xq(x,c)
27. Alla talar med Boris.
    xq(x,b)
28. Ingen talar med Arthur.
    xq(x,a)
29. Någon talar med alla.
    xyq(x,y)
30. Alla talar med alla.
    xyq(x,y)
31. Alla talar med sig själva.
    xq(x,x)
32. Om någon talar om Cecilia för Arthur, så talar han med henne.
    x(r(x,c,a) q(x,c)) eller xr(x,c,a) q(a,c) beroende på om man med "han" syftar på "någon" eller på Arthur.
33. Alla som talar med Boris talar med Arthur.
    x(q(x,b) q(x,a)
34. Cecilia talar med alla som talar med henne.
    x(q(x,c) q(c,x))
35. Om Cecilia talar med alla, så talar någon med Arthur.
    xq(c,x) xq(x,a)
36. Arthur talar om någon för alla.
    xyr(a,x,y)
37. Arthur talar om alla för någon.
    xyr(a,x,y)
38. Någon talar om någon för alla.
    xyzr(x,y,z)
39. Boris talar med alla utom Arthur.
    x(q(b,x) x a)
40. Cecilia talar med någon annan än Arthur.
    x(q(c,x) x a)
41. Ingen talar med Arthur.
    xq(x,a)
42. Ingen talar med någon.
    xyq(x,y)

Studiematerial
Kursens startsida