Right!


{(Mu v No)[(Hi ^ Gu) (Mu v No)]}{(Mu v No)[(Hi ^ Gu) (Mu v No)]}

IS an instance of theorem 1 (P P) with "(Mu v No)[(Hi ^ Gu) (Mu v No)]" substituted for "P" in both cases.

Copyright 2005 by Martin C. Young

This Site is Proudly Hosted By:
WEBster Computing Services