Right!
Ba
Rs
Is
NOT
an instance of theorem 1 (P
P) because it has "Ba" substituted for the first "P" and "Rs" substituted for the second "P," which is
not
allowed.
Copyright © 2005 by Martin C. Young
This Site is Proudly Hosted By:
Rs P) because it has "Ba" substituted for the first "P" and "Rs" substituted for the second "P," which is not allowed.