海纳百川 :: 阅读主题 - 用布尔代数推演芦笛和葵花宝典的逻辑

海纳百川

登录 \| 登录并检查站内短信 \| 个人设置	网站首页 \| 论坛首页 \| 博客 \| 搜索 \| 收藏夹 \| 帮助 \| 团队 \| 注册 \| RSS


	主题: 用布尔代数推演芦笛和葵花宝典的逻辑

printer-friendly view

海纳百川首页 -> 罕见奇谈

阅读上一个主题 :: 阅读下一个主题

作者

用布尔代数推演芦笛和葵花宝典的逻辑

trout

加入时间: 2004/12/15
文章: 40

经验值: 0

标题: 用布尔代数推演芦笛和葵花宝典的逻辑 (333 reads) 时间: 2006-2-17 周五, 上午6:20

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

看了楼下芦笛和葵花宝典的逻辑争论,就想用布尔代数来证明一下.

对于“没有共产党就没有新中国”这一命题,

葵花宝典认为:
"有了中华人民共和国是因为有了中国共产党,这就是等价命题。你还谈什么逻辑?"

而芦笛认为"有新中国必有共产党"才是等价命题.

设: A: 共产党;
B: 新中国.

"没有共产党就没有新中国"可表示为:
!A -> !B <=> !!A V !B <=> A V !B (1)

"有了中华人民共和国是因为有了中国共产党"可表示为:
A -> B <=> !A V B (2)

"有新中国必有共产党"可表示为:
B -> A <=> !B V A (3)

因为: (1) == (3), 且 (1)!= (2),
所以: 芦笛是对的,葵花宝典是错的.

证毕.

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

阅读会员资料

trout离线

发送站内短信

芦笛说这叫布尔代数 -- yoke - (1068 Byte) 2006-2-18 周六, 下午12:36 (93 reads)

结论是不错的，因为!A -> !B <=> B->A 本来就是布尔代数基本公式之 -- 越南人 - (111 Byte) 2006-2-17 周五, 上午7:44 (113 reads)

越南人：“结论是不错的”=>越南人认为“芦正确，葵花错误“。老越同意吗？ -- 游客 - (115 Byte) 2006-2-17 周五, 下午12:07 (102 reads)

是开玩笑。其一是让别人也明白，更重要的是避免歧义。 -- 游客 - (200 Byte) 2006-2-17 周五, 下午1:20 (103 reads)

我一般都假定：对方比我聪明--所以，不太习惯往细里写。 -- 越南人 - (0 Byte) 2006-2-17 周五, 下午1:35 (73 reads)

不是开玩笑吧,V是逻辑或呀。至于谁对谁错，代入这形式逻辑便知，为何要问？ -- 越南人 - (0 Byte) 2006-2-17 周五, 下午12:31 (72 reads)

谢指教!布尔代数我只懂点皮毛. 老越给来点更深入的证明? -- trout - (0 Byte) 2006-2-17 周五, 上午7:52 (71 reads)

其实不能说更深入的证明，因为布尔代数很基本--后面发展起来的“证明推导”理论 -- 越南人 - (33 Byte) 2006-2-17 周五, 上午8:00 (96 reads)

你和芦笛的汉语都没过录取线 -- 葵花宝典 - (284 Byte) 2006-2-17 周五, 上午6:53 (142 reads)

再用truth table 证明一下 -- trout - (225 Byte) 2006-2-17 周五, 上午7:44 (133 reads)

the problem is how do you translate -- 葵花宝典 - (1238 Byte) 2006-2-17 周五, 下午9:55 (83 reads)

看来我把数理逻辑跟布尔代数搞混了. 不过, -- trout - (53 Byte) 2006-2-18 周六, 上午2:11 (96 reads)

You are welcome -- 葵花宝典 - (381 Byte) 2006-2-18 周六, 上午11:29 (82 reads)

您这么说是否俺可以理解为您非常同意他在这里的证明？ -- 游客 - (0 Byte) 2006-2-17 周五, 上午11:59 (73 reads)

跟错，应该是对越南人说的。越南人：您是否非常同意trout? -- 游客 - (0 Byte) 2006-2-17 周五, 下午12:00 (74 reads)

我没必要同意不同意，随便翻一本初级数理逻辑教科书，没这证明请找我。 -- 越南人 - (0 Byte) 2006-2-17 周五, 下午12:39 (83 reads)

教科书上没有trout把别人的话翻译成公式的那部分内容。您回避了问题 -- 游客 - (190 Byte) 2006-2-17 周五, 下午1:30 (95 reads)

是这样的 -- trout - (81 Byte) 2006-2-17 周五, 下午2:48 (105 reads)

不是那样的了.对于我来讲：A，B只是两件事，只要代入那公式就成立，没什么可解释的 -- 越南人 - (0 Byte) 2006-2-17 周五, 下午1:52 (78 reads)

好.我楼上刚写完，你就给出证明了. -- 越南人 - (0 Byte) 2006-2-17 周五, 上午7:46 (78 reads)

您也用逻辑代数把这几个命题表达一下如何? -- trout - (147 Byte) 2006-2-17 周五, 上午7:18 (105 reads)

First of all, please write the definitio -- 葵花宝典 - (206 Byte) 2006-2-17 周五, 下午10:06 (95 reads)

我用的是数理逻辑的表达方式 -- trout - (45 Byte) 2006-2-18 周六, 上午2:26 (83 reads)

显示文章:

printer-friendly view

海纳百川首页 -> 罕见奇谈

所有的时间均为北京时间

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

based on phpbb, All rights reserved.

[ Page generation time: 1.151451 seconds ] :: [ 25 queries excuted ] :: [ GZIP compression enabled ]