This is a common form of reasoning about pwnage and is commonly accepted in most formal pwning systems. In the general form it states:
A Pwns B
If A has happened,
then we know that B has been pwned.
P.W.N.E.D.
A Pwns B
If A has happened,
then we know that B has been pwned.
P.W.N.E.D.
Chuck Norris Pwns all Mortals
Socrates is mortal.
Chuck Norris has happened,
therefore by modus pwnens Socrates has been pwned.
This example is also valid with "you are" and "you have" in place of "Socrates is" and "Socrates has" respectively.
Note: It is well known that only an oracle (i.e. Chuck Norris) can decide if Chuck Norris Pwns non mortals.
Socrates is mortal.
Chuck Norris has happened,
therefore by modus pwnens Socrates has been pwned.
This example is also valid with "you are" and "you have" in place of "Socrates is" and "Socrates has" respectively.
Note: It is well known that only an oracle (i.e. Chuck Norris) can decide if Chuck Norris Pwns non mortals.
by taiyo June 6, 2007