海纳百川

登录 | 登录并检查站内短信 | 个人设置 网站首页 |  论坛首页 |  博客 |  搜索 |  收藏夹 |  帮助 |  团队  | 注册  | RSS
主题: 用布尔代数推演芦笛和葵花宝典的逻辑
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈
阅读上一个主题 :: 阅读下一个主题  
作者 用布尔代数推演芦笛和葵花宝典的逻辑   
所跟贴 用布尔代数推演芦笛和葵花宝典的逻辑 -- 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

是同级的---因此是说明,而非证明。
证明使用“真理表”,很简单的。


当然如果能用希尔波特的的证明理论,就深入了。


返回顶端
阅读会员资料 越南人离线  发送站内短信
显示文章:     
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈 所有的时间均为 北京时间


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


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