If ¬(#(X U Y) >> #Z), then ¬(#X>>#Z) and ¬(#Y>>#Z). v;
| QUOTE (Saria @ May 14 2008, 11:36 AM) |
| If ¬(#(X U Y) >> #Z), then ¬(#X>>#Z) and ¬(#Y>>#Z). v; |
NOOOO!!! THE MATH! IT BURNS D: *suddenly ignites* dies;
Heh, it's not real math. Just Language and Formal Reasoning. XB