Exercise 5.1 - Answers

1

(i)

Yes. The result would be:

Gb
"x[FxRxx]
[FbRbb]

 
(ii)

Yes. There are two permissible results:

Gb
"x[FxRxa]
[FbRba]

and

Gb
"x[FxRxa]
[FaRaa]

Of course, in each case one could go on the apply the rule a second time.

 
(iii)

No. There are no designators in the branch.

 
(iv)

No. The rule applies only to formulae beginning with """. The only rule which can be applied here is the [jy] rule.

  (v)

No. The rule applies only to formulae beginning with """.

  (vi)

No. The rule applies only to formulae beginning with """.

  (vii)

Yes. The result would be:

$x[[FxGxa]Raa]

  (viii)

Yes. The result would be:

Notice that [GaFa] cannot be added to the right hand branch, because it does not contain "a". (Nor can the rule be applied to ""yGy".)

 

Close Window