_VEndeTta Wrote:Your question is stupid. There are many cases in which (B » A) » (A » ~B) is true as can be seen here:

A | B |  B » A  |  A » ~B | (B » A) » (A » ~B)
T   T        T             F                    F
T   F        T             T                    T
F   T        F             T                    T
F   F        T             T                    T


Is it a tautology? No. But it only fails when both A and B are true.

There. It has been proven by cases. Kthxbai.

If it is not a tautology, then it fails. It has to be true for all cases for the logical argument to be correct. U can't just say, it's true for some values, so it's correct, and ignore the other values.

Lets take your reasoning and put it in an example.

Statement:   x is always equals to 10.

Proof:
There is a case in which x is equal to 10.

           |    x     |  Is x equal to 10?
Case 1     <10              No
Case 2     =10              Yes
Case 3     >10              No

Is it a tautology? No. But it only fails when x<10 and when x>10.

There. It has been proven by cases. Kthxbai.

Does that mean i proved that "x is always equal to 10?"       NO.

You have to prove it correct for all cases in order to prove a mathematical statement to be correct.

_VEndeTta Wrote:Your question is stupid.

I didn't intend this for people to try to prove it, because it's incorrect, thus unprovable.

I intended it to just say to Sparker that just because Zinga wrote that he "heard" it, it does not exclude the possibility that he could also have seen it.

Thus justifying my question to Zinga "Watched it? or just heard it?"



Just to clear everything up:

Ok, I realize u intend your original response (the one about Zinga lying) as a bit of humor, and i took it seriously.

And I'll apologize for that.

(and I'll remove that "thou hast failed" picture, which was intended as nothing more than a joke)




























And instead, I'll put it here...


Joking man. I apologise again.

(This post was last modified: 21/08/2007 09:34 PM by Assassinator.)