Right!


(Hi Gu)(Hi ^ Gu)

Is NOT an instance of theorem 1 (P P) because it has "Hi Gu" substituted for the first "P" and "Hi ^ Gu" substituted for the second "P," which is not allowed.

Copyright © 2005 by Martin C. Young

This Site is Proudly Hosted By:
WEBster Computing Services