Lösningar till övning 6

nyckel:
a = Anders, b = Bernt, c = Carola, p(x,y,z) = x presenterar y för z, q (x,y) = x diskuterar med y, r (x) = x ropar, s(x) = x stönar

1. r(a)
   Anders ropar.
2. s(c)
   Carola stönar.
3. p(b,a,c)
   Bernt presenterar Anders för Carola.
4. q(a,c)
   Anders diskuterar med Carola.
5. r(a) r(c)
   Anders och Carola ropar.
6. s(b)
   Bernt stönar.
7. s(b) r(b)
   Bernt stönar och ropar.
8. q(b,b)
   Bernt diskuterar med sig själv.
9. p(b,b,c)
   Bernt presenterar sig för Carola.
10. q(a,c) q(c,a)
    Anders och Carola diskuterar med varandra.
11. q(a,b) q(c,b)
    Anders och Carola diskuterar med Bernt.
12. r(b)
    Bernt ropar.
13. s(a) s(c)
    Anders och Carola stönar.
14. r(b)
    Bernt ropar inte.
15. q(b,a)
    Bernt diskuterar inte med Anders.
16. s(c) r(c)
    Carola stönar men ropar inte.
17. q(b,a) s(c)
    Bernt diskuterar med Anders och Carola stönar.
18. q(a,b) s(a)
    Anders diskuterar med Bernt och stönar.
19. s(a) q(a,c)
    Anders stönar och diskuterar med Carola.
20. (s(c) r(c))
    Carola varken stönar eller ropar.
21. r(b) s(c)
    Om Bernt ropar, så stönar Carola.
22. r(a) s(c)
    Om Anders ropar, så stönar inte Carola.
23. xr(x)
    Någon ropar.
24. xs(x)
    Ingen stönar.
25. xr(x)
    Alla ropar.
26. xs(x)
    Inte alla stönar.
27. xs(x) xr(x)
    Alla stönar och alla ropar.
28. x(s(x) r(x))
    Alla stönar och ropar.
29. xs(x) xr(x)
    Alla stönar eller alla ropar.
30. x(s(x) r(x))
    Alla stönar eller ropar.
31. xs(x) xr(x)
    Alla stönar och någon ropar.
32. r(b) xs(x)
    Om Bernt ropar, så stönar någon.
33. r(a) xs(x)
    Om Anders ropar, så stönar alla.
34. xr(x) xs(x)
    Om ingen ropar, så stönar inte alla.
35. xs(x) xr(x)
    Om alla stönar, så ropar ingen.
36. xs(x) xr(x)
    Någon stönar och någon ropar.
37. x(s(x) r(x))
    Någon stönar och ropar.
38. xs(x) xr(x)
    Om alla stönar, så ropar alla.
39. x(s(x) r(x))
    Alla som stönar ropar.
40. x(s(x) r(x))
    Alla som inte stönar ropar.
41. x(s(x) r(x))
    Ingen som stönar ropar.
42. x(s(x) r(x))
    Inte alla som stönar ropar.
43. xs(x) xr(x)
    Någon stönar och någon ropar inte.
44. x(s(x) r(x))
    Någon stönar inte men ropar.
45. x(s(x) r(x))
    Någon stönar men ropar inte.
46. r(a) xs(x)
    Anders ropar och alla stönar.
47. xs(x) r(a)
    Alla stönar och Anders ropar.
48. x(s(x) r(a))
    Alla stönar och Anders ropar.
49. xq(x,a)
    Någon diskuterar med Anders.
50. xq(x,c)
    Alla diskuterar med Carola.
51. xq(c,x)
    Carola diskuterar med alla.
52. xq(a,x)
    Anders diskuterar med någon.
53. xq(x,x)
    Någon diskuterar med sig själv.
54. xq(x,x)
    Alla diskuterar med sig själva.
55. xyq(x,y)
    Alla diskuterar med alla.
56. xyq(x,y)
    Någon diskuterar med någon.
57. xyq(x,y)
    Alla diskuterar med någon.
58. xyq(x,y)
    Någon diskuterar med alla.
59. xp(b,c,x)
    Bernt presenterar Carola för alla.
60. xp(b,x,c)
    Bernt presenterar alla för Carola.
61. xp(a,a,x)
    Anders presenterar sig för alla.
62. xp(x,c,a)
    Någon presenterar Carola för Anders.
63. xyp(x,c,y)
    Någon presenterar Carola för alla.
64. xyp(x,y,c)
    Någon presenterar alla för Carola.
65. xyp(b,x,y)
    Bernt presenterar alla för någon.
66. xyzp(x,y,z)
    Någon presenterar alla för alla.
67. xr(a)
    Anders ropar.

Studiematerial
Kursens startsida