Q8.2a

This one is like Q8.1a but with a twist at the end. (If needed, show rules.)

Show that '(^z)Cz' can be derived on line 6.
 

Justification:   Sentence:
 3
 4
 5
 6