Right!



(Mu ^ No)(Mu v No)

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

Copyright © 2005 by Martin C. Young


This Site is Proudly Hosted By:
WEBster Computing Services