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:
(Mu v No)