Exercise 6.3 - Answers

 

1

(i)

$x[Fbx"y[Gbyb=a]]

$x[Fax"y[Gbyb=b]]

$x[Fbx"y[Gbyb=b]]

 
(ii)

$x[Fax"y[Gayb=a]]

$x[Fax"y[Gbya=a]]

$x[Fax"y[Gaya=a]]

2

(i)

4 b=c (from lines 2 and 1 by the left hand rule)

4 b=a (from lines 2 and 3 by the left hand rule)

4 a=a (from lines 3 and 1 by the left hand rule): the tableau closes.

4 c=c (from lines 3 and 1 by the right hand rule): the tableau closes.

4 c=b (from lines 3 and 2 by the right hand rule)

Close Window