[extropy-chat] Perplexing deduction of the day

[Eliezer Yudkowsky]

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