Help with Subset Derivation: Short Rewrite Version

Logical System

1/9/09

Help with Subset Derivations [Short form example]

There is a shorter and quicker proof using rewrite rules. Ordinarily there is a lot of messing around with instantiating quantifiers, renaming bound variables, etc.. Rewrite rules avoid much of this (and so we can concentrate on Set Theory). You might want to remind yourself of Rewrite Rules and its video.

[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.]