Exercise 5.1 - Answers
1 |
(i) |
Yes. The result would be: Gb |
|
(ii) |
Yes. There are two permissible results: Gb and Gb 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 [jÙy] 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[[Fx®Gxa]ÙRaa] |
|
| (viii) |
Yes. The result would be:
Notice that [Ga®Fa] cannot be added to the right hand branch, because it does not contain "a". (Nor can the rule be applied to ""yGy".)
|
