Exercise 5.2 - Answers

1

(i)

The $xj rule can be applied to give:

$x$y[FxRxy]
"x$y[Fx®Rxy]

 
(ii)

Neither rule can be applied. The formula does not begin with " or $.

 
(iii)

The "xj rule can be applied. The following in a possible result:

(But one could, if one wished, add $yRya to just one of the branches.)

 

Close Window