Andreas van Cranenburgh		4440949		Thu Nov  4 23:03:27 CET 2004

Legenda: &=AND, |=OR, ~=NOT, %=<->, $=->, /=exist. quant., @=univ. quant.
1 - 9.3
1. Small(b) & Tet(b) & Tet(e) & FrontOf(b, e)
   Deze zin had wel erg veel fouten.
2. ~SameCol(a, b)
3. (Cube(a) & Cube(b)) | Cube(c)  --OF--  Cube(a) & (Cube(b) | Cube(c))
4. Cube(a) % (Cube(b) % Cube(e))
5. /x ~Cube(x)
6. /y (Cube(y) & Small(y))
7. /x (Cube(x) & Small(x))
8. /y (~Dodec(y) & Large(y)) --OF-- ~/y (Dodec(y) & Large(y)) --etc--
9. @y (Cube(y) $ ~Medium(y))
10.@x (Tet(x) & (Small(x) $ FrontOf(x, e)))
   ook altijd false.
   
2 - 9.7
Achter quantifiers mogen alleen variabelen staan, 'b' mag niet, dat is
een constante.

3 - 9.11
1. /x (Dodec(x) & Large(x))
2. /x (Dodec(x) $ Large(x))
3. @x (Tet(x) & Small(x))
4. @x (Tet(x) $ Small(x))

Wereld:          ___
		|   |
		|   |
		 ~~~
(een wereld met 1 middelgroot vierkant)

4 - 9.14
Ik heb even genoeg van die kleuterblokjes, of van dat programma eigenlijk.

5 -
a. 2,3,4,5	g. 1,2
b. []		h. 3,5
c. 2,3,6	i. 1,3,4
d. 1,2,5,6	j. 1,4,6
e. 1,2,5	k. 1,3,4
f. 4,6		l. 1,4,6