|
Blah. I hate logic. If I tried, I could write it out, but I'm not even going to think about writing it in ASCII. I could do it in LaTeX, but then I gotta post it and all that other crap. I did this stuff in my second year in college. Oh yeah, and it would be a hell of a lot easier in first order predicate logic.
|