Logical System
9/4/06
Tutorial 5 Example: Doing a derivation
This movie shows the downloadable application being used, but the manipulations are so similar to those of the web page applet that it really covers both.
This video is also using a different logical system, but it is close enough for now to illustrate the important points. [The video will be revised and replaced.]