0440949 - Andreas van Cranenburgh, excersizes 10

1a. @x @y B(x) & !S(y, y) -> S(x, y)
CNV @x @y !(B(x) & !S(y, y)) | S(x, y)
    !B(x) | S(y, y) | S(x, y)
1b. @x @y B(x) & S(y, y) -> !S(x, y)
CNV @p @q !(B(p) & S(q, q)) | !S(p, q)
          !B(p) | !S(q, q) | !S(p, q)

c. ! \x B(x)
negation of c: \x B(x)
   CNV: B(R)

{!B(x), S(y,y), S(x,y)} {!B(p), !S(q,q),!S(p,q)} {B(R)}
                  \                      /       / 
                   \___________________ /       / 
                     {!B(x), S(y,y), !S(q,q)}  /
		         met theta={y/z,y/z}  /
			    \                /
			      {S(y,y), !S(q,q)} met theta=(x/R)
			can go no further, can't resolve itself.
			
4. logics in which statements can be retracted.
11.
14.

inhaal: 15.