Exercise Contents  
Exercise Five: 5.1 - 5.2 - 5.3 - 5.4  
More Exercises

Exercise 5.3



Can the $xj rule be applied in the following cases? If it can, what would the result be?






Each of the following is a tableau which consists, so far, of just one formula. What rule, if any, can be applied to the formula, and with what result? Note that there is only ever at most one rule which can be applied.
  (i) "x[GxaHxa]
  (ii) [$xGxa"yFy]
  (iii) [$xFxP]
  (iv) $x"y[FxRyax]
  (v) "x"y"z[[RxaRyb]Sxyz]]
  (vi) "x"y"z[[RxyRyz]Sxyz]]




Print this page