A quick break: Q5.4a

       

Finish the derivation below by selecting rules and sentences. Make your selections by clicking on the "drop-down" arrows.

Show that '~(A&B)' can be derived on line 7.
This sentence is our "goal".

Justification:     Sentence:
 3
 4
 5
 6
 7