T5.6 7 of 9

Okay, now lets apply our three step strategy analysis to a more difficult problem. Use derivations to show that...


...is valid.


We may now see how the three strategy steps work for this more complicated example...




Start the Demo.

From the premise 'D>~B' deduce '(B&C)>~D'.

MouseOver thesign to pause the demo.