Andreas van Cranenburgh		0440949		Thu Nov 11 11:48:33 CET 2004

Legenda: &=AND, |=OR, ~=NOT, /=exist. quant., @=univ. quant., *=vermenig.
         \= betekent ongelijk aan.

1
   a. 1,5,6	g. 1,5
   b. 2,3,4,5	h. 1,5,6
   c. 1,6	i. 3,5,6
   d. []	j. Deze zin is fout; y is ongebonden.
   e. 1,3,4,5,6	k. allemaal
   f. 5

2.    M  Bol  Boo  W
   6. 
   7.
   8.    T
   9.
  10.

3.
   1. @x [~Prime(x * x)]
   2. /x [~Even(x * x)]
   3. @x [Prime(x) -> Prime(x * x)]
   4. @x [(Prime(x) & x \= 2) -> ~Even(x)]
   5. @x [(x > 1) -> ((x * x) > x)]
 
4
   a. @x [mens(x) -> houdtvan(astor)]
   b.  /x [hond(x) & houdtvan(karin)]
   c.  @x [hond(x) & gaapt(x) -> houdtvan(x, dolf)]
   d.  /x /y [hond(x) & geeft(gijs, x, y) & iemand(x)]
   e.  @x [(mens(x) & geeft(x, biba, karin)) -> weent(x)]
   f.  /x [hond(x) & ~verzorgt(dolf, x)]
   g.  @x [(bezit(dolf, x) & hond(x)) -> houdtvan(dolf, x)]
   h.  @x [(bezit(dolf, x) & hond(x) & gaapt(x)) -> houdtvan(dolf, x)]
          &
       @x [~(bezit(dolf, x) & hond(x) & gaapt(x)) -> ~houdtvan(dolf, x)]