[extropy-chat] Perplexing deduction of the day
sentience at pobox.com
Sat Jul 24 05:44:32 UTC 2004
In propositional logic, (~(p->q))->(p&~q) is a theorem.
Therefore, (~(p->~q))->(p&q) is a theorem.
If the moon is made of green cheese, this does not imply that I will not
win the lottery on Tuesday.
Therefore the moon is made of green cheese and I will win the lottery on
Eliezer S. Yudkowsky http://singinst.org/
Research Fellow, Singularity Institute for Artificial Intelligence
More information about the extropy-chat