Q8.2b

Finish the little derivation below by selecting rules and sentences. Make your selections by clicking on the "drop-down" arrows. (Leave the other fields, those without drop-downs, blank!)

Show that '(%x)(Bx&Cx)' can be derived on line 4.

Justification:     Sentence:
 3
 4
 5
 6
7