推理 - 调侃专区 - 阿龙

(这条文章已经被阅读了 87 次) 时间：2000-06-06 13:40:42 来源：阿龙 (紫杉龙王) 原创-IT

理之一：

已知：求伯君是人。
求证：比尔·盖茨不是人。

证明：∵　求伯君是人（已知）
　　又∵　比尔·盖茨不是求伯君（已知）
　　　∴　比尔·盖茨不是人（等量代换）

推理之二：

已知：人类不是机器。
求证：比尔·盖茨不是人。

证明：∵　人类不是机器
　　又∵　比尔·盖茨是赚钱的机器。
　　　∴　比尔·盖茨不是人