海纳百川
登录
|
登录并检查站内短信
|
个人设置
网站首页
|
论坛首页
|
博客
|
搜索
|
收藏夹
|
帮助
|
团队
|
注册
|
RSS
主题:
用布尔代数推演芦笛和葵花宝典的逻辑
海纳百川首页
->
罕见奇谈
阅读上一个主题
::
阅读下一个主题
作者
用布尔代数推演芦笛和葵花宝典的逻辑
所跟贴
用布尔代数推演芦笛和葵花宝典的逻辑
--
trout
- (453 Byte) 2006-2-17 周五, 上午6:20
(334 reads)
越南人
[
个人文集
]
加入时间: 2004/02/14
文章: 7096
经验值: 97883
标题:
结论是不错的,因为!A -> !B <=> B->A 本来就是布尔代数基本公式之
(113 reads)
时间:
2006-2-17 周五, 上午7:44
和
!A -> !B <=> !!A V !B <=> A V !B
是同级的---因此是说明,而非证明。
证明使用“真理表”,很简单的。
当然如果能用希尔波特的的证明理论,就深入了。
返回顶端
越南人:“结论是不错的”=>越南人认为“芦正确,葵花错误“。老越同意吗?
--
游客
- (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)
显示文章:
所有文章
1天
7天
2周
1个月
3个月
6个月
1年
时间顺序
时间逆序
海纳百川首页
->
罕见奇谈
所有的时间均为 北京时间
论坛转跳:
您
不能
在本论坛发表新主题
您
不能
在本论坛回复主题
您
不能
在本论坛编辑自己的文章
您
不能
在本论坛删除自己的文章
您
不能
在本论坛发表投票
您
不能
在这个论坛添加附件
您
不能
在这个论坛下载文件
based on phpbb, All rights reserved.
[ Page generation time: 1.328612 seconds ] :: [ 23 queries excuted ] :: [ GZIP compression enabled ]