Help with Subset Derivation

Logical System

1/9/09

Help with Subset Derivations [Long form example]

This is a long proof using axioms. There is a shorter and quicker way using rewrite rules.

[What is shown below is a Quicktime Movie, with sound. Your computer should be able to run this. If you are having trouble, check with Quicktime or Quicktime download and equip your machine for viewing Quicktime. If you have external speakers, or similar, you may need to turn them on and turn the volume up.]


[This is a film-- press the 'play' symbol.]