海纳百川
登录 | 登录并检查站内短信 | 个人设置 网站首页 |  论坛首页 |  博客 |  搜索 |  收藏夹 |  帮助 |  团队  | 注册  | RSS
主题: 向不锈钢晓刚兼逻辑先生学“逻辑”
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈
阅读上一个主题 :: 阅读下一个主题  
作者 向不锈钢晓刚兼逻辑先生学“逻辑”   
所跟贴 向不锈钢晓刚兼逻辑先生学“逻辑” -- 九戒 - (3008 Byte) 2003-11-12 周三, 下午6:31 (321 reads)
不锈钢晓刚
[博客]
[个人文集]

游客
文章标题: 九戒先生真够浆糊的 (116 reads)      时间: 2003-11-12 周三, 下午8:10
作者：Anonymous 在 罕见奇谈 发贴, 来自 http://www.hjclub.org

人家甲从来没有承诺过你乙可以砍他的头或拿他的财产，你乙提出要砍人家的头或拿人家的财产，你当然有义务去证明你的理由是对的（即“总是真”）。



至于诸葛亮兑现关云长的华容道军令状的例子，对不起，您老兄的式子列错了。



既设



Ａ为“关云长在华容道杀了曹操”

Ｂ为“诸葛亮杀了关云长”

Ｃ为“关云长立下了军令状”





诸葛亮要斩关云长的理由只应该是：【Ｃ=>( (非Ａ)=>Ｂ)】。



翻译过来，就是：

【“关云长的军令状”说明（“关云长没能在华容道杀曹操”说明“诸葛亮杀关云长”）】



也就是说：在关云长立了军令状的情况下，既然你关云长没能在华容道杀曹操，那我诸葛亮就得砍你的头了。



诸葛亮当然有义务证明他的理由是充分的。



这个式子推导下来，最后会是 【Ｃ=>( (非Ａ)=>Ｂ)】≡【(非Ｃ)v ＡvＢ)】



而诸葛亮需要证明【(非Ｃ)v ＡvＢ)】在任何情况下总是真的。



【(非Ｃ)v ＡvＢ)】是说：【或者“关云长没立军令状”是真的，或者“关云长在华容道杀了曹操”是真的，或者“诸葛亮杀关云长”是真的】总是真的。



如果“关云长没立军令状”是真的，【(非Ｃ)v ＡvＢ)】自然就是真的，只是此时诸葛亮没道理要杀关云长。

如果“关云长在华容道杀了曹操”是真的，【(非Ｃ)v ＡvＢ)】自然也是真的，此时诸葛亮亦无必要去杀关云长。

如果“关云长立军令状”和“关云长在华容道杀了曹操”都不是真的，诸葛亮要保证【(非Ｃ)v ＡvＢ)】仍然是真的，就必须让Ｂ，也就是“诸葛亮杀关云长”，是真的。于是诸葛亮就只好对关云长说，“你看看，我没别的办法，迫不得已，不得不委屈您的尊头了”。



只好而你原来的式子

(非Ａ) => (Ｂ=>Ｃ)



翻译过来，就是：

【“关云长没能在华容道杀曹操”说明（“诸葛亮杀关云长”说明“关云长的军令状”）】





你要诸葛亮说明“既然你关云长没能在华容道杀曹操，那我诸葛亮就要以砍你的头来证实你的确是立了军令状”，孔明再聪明，也断断绕不出这个道理啊！

作者：Anonymous 在 罕见奇谈 发贴, 来自 http://www.hjclub.org
返回顶端
显示文章:     
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈 所有的时间均为 北京时间


 
论坛转跳:   
您不能在本论坛发表新主题
您不能在本论坛回复主题
您不能在本论坛编辑自己的文章
您不能在本论坛删除自己的文章
您不能在本论坛发表投票
您不能在这个论坛添加附件
您不能在这个论坛下载文件


based on phpbb, All rights reserved.
[ Page generation time: 0.085412 seconds ] :: [ 23 queries excuted ] :: [ GZIP compression enabled ]