|
| 阅读上一个主题 :: 阅读下一个主题 |
| 作者 |
 给芦笛补补课：什么是逻辑证明 |
 |
| 所跟贴 |
给芦笛补补课：什么是逻辑证明 -- yoke - (288 Byte) 2006-8-25 周五, 上午2:38 (595 reads) |
yoke
[个人文集]
加入时间: 2005/08/23
文章: 1471
经验值: 5641
|
|
|
作者：yoke 在 罕见奇谈 发贴, 来自 http://www.hjclub.org
学过几何的都记得一个简单定理：如果三角形等腰，那么两个底角相等。
你可曾跟老师争论过，等腰三角形存在吗？存在也好，不存在也好，跟证明没关系。
现实中谁也不能画出个绝对的等腰，但这不能用来否定"如果三角形等腰，那么两底角相等" 这个命题。
同样，在我上面写的证明中，我说 "（1）如果两个党都不代表人民的利益,...,（2）...,（3）..., " 在现实中，这样两个党存在或者不存在，或者部份地存在，半不存在，跟我的证明没关系。我是在假定这样的两个党存在的前提下论证，在 "如果..." 的前提下推出结论。
（注：有两党的国家里，可以认为满足证明中假设的三种情况之一的两个党存在，既使不绝对，例如，根据党员的成分，党的政策，可以说或者两党都不代表人民，或者说，...,等等。就拿美国举例，对不喜欢共和党也不喜欢民主党的人来说，就是情况(1)。对反共和党拥民主党的人来说，就是情况(2)，等等。但这些跟上面的证明没有关系。）
大概芦笛的徒弟们跟芦笛一样，中学的数学没学好，所以我还要耐心解释一下。总之，两党轮流坐庄不符合人民利益，这个命题在形式逻辑下已经证明了。
作者：yoke 在 罕见奇谈 发贴, 来自 http://www.hjclub.org |
|
|
| 返回顶端 |
|
 |
| |
|
|
您不能在本论坛发表新主题
您不能在本论坛回复主题
您不能在本论坛编辑自己的文章
您不能在本论坛删除自己的文章
您不能在本论坛发表投票
您不能在这个论坛添加附件
您不能在这个论坛下载文件
|
based on phpbb, All rights reserved.
|
