海纳百川

登录 | 登录并检查站内短信 | 个人设置 网站首页 |  论坛首页 |  博客 |  搜索 |  收藏夹 |  帮助 |  团队  | 注册  | RSS
主题: 给芦笛补补课:什么是逻辑证明
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈
阅读上一个主题 :: 阅读下一个主题  
作者 给芦笛补补课:什么是逻辑证明   
所跟贴 给芦笛补补课:什么是逻辑证明 -- yoke - (288 Byte) 2006-8-25 周五, 上午2:38 (595 reads)
yoke
[个人文集]






加入时间: 2005/08/23
文章: 1471

经验值: 5641


文章标题: tutorial 2: 世界上有没有等腰三角形? (201 reads)      时间: 2006-8-25 周五, 下午2:00

作者:yoke罕见奇谈 发贴, 来自 http://www.hjclub.org

学过几何的都记得一个简单定理:如果三角形等腰,那么两个底角相等。

你可曾跟老师争论过,等腰三角形存在吗?存在也好,不存在也好,跟证明没关系。

现实中谁也不能画出个绝对的等腰,但这不能用来否定"如果三角形等腰,那么两底角相等" 这个命题。

同样,在我上面写的证明中,我说 "(1)如果两个党都不代表人民的利益,...,(2)...,(3)..., " 在现实中,这样两个党存在或者不存在,或者部份地存在,半不存在,跟我的证明没关系。我是在假定这样的两个党存在的前提下论证,在 "如果..." 的前提下推出结论。

(注:有两党的国家里,可以认为满足证明中假设的三种情况之一的两个党存在,既使不绝对,例如,根据党员的成分,党的政策,可以说或者两党都不代表人民,或者说,...,等等。就拿美国举例,对不喜欢共和党也不喜欢民主党的人来说,就是情况(1)。对反共和党拥民主党的人来说,就是情况(2),等等。但这些跟上面的证明没有关系。)

大概芦笛的徒弟们跟芦笛一样,中学的数学没学好,所以我还要耐心解释一下。总之,两党轮流坐庄不符合人民利益,这个命题在形式逻辑下已经证明了。

作者:yoke罕见奇谈 发贴, 来自 http://www.hjclub.org
返回顶端
阅读会员资料 yoke离线  发送站内短信
显示文章:     
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈 所有的时间均为 北京时间


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


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