Q7.1a

Finish this derivation by selecting rules and sentences. Make your selections by clicking on the "drop-down" arrows. (If needed, show rules.)

Show that '(%z)Cz' can be derived on line 5.
 

Justification:   Sentence:
 3
 4
 5
 6