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.