A quick break: Q5.3

       

Finish the 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 'C>(B&E)' can be derived on line 6.
This sentence is our "goal".

Justification:     Sentence:
 3
 4
 5
 6