My blog has moved!

You will be automatically redirected to the new address. If that does not occur, visit
and update your bookmarks.

Thursday, April 16, 2009

What I learned at school today:

"From the substitution instance of a propositional function with respect to the name of any arbitrarily selected individual, one can validly infer the universal quantification of that propositional function."
--my logic textbook.

Just kidding. I have no idea what that means. I'll figure it out before the test.

I hope.

No comments:

Post a Comment