[extropy-chat] Perplexing deduction of the day

Eliezer Yudkowsky 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 
Tuesday.

-- 
Eliezer S. Yudkowsky                          http://singinst.org/
Research Fellow, Singularity Institute for Artificial Intelligence




More information about the extropy-chat mailing list