Help with Subset Derivation: Short Rewrite Version

Logical System


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.