免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
123456
最近访问板块 发新帖
楼主: ethantsien

[算法] 帮我看下这个反证法的数理逻辑是正确的吗? [复制链接]

论坛徽章:
4
狮子座
日期:2013-08-20 10:12:24午马
日期:2013-11-23 18:04:102015年辞旧岁徽章
日期:2015-03-03 16:54:152015亚冠之德黑兰石油
日期:2015-06-29 18:11:11
发表于 2012-10-10 12:02 |显示全部楼层
回复 50# sacry


    这么说的话也对……说谎者只是对命题真假进行判定,并没有对命题本身否定……

论坛徽章:
0
发表于 2012-10-10 12:17 |显示全部楼层
本帖最后由 ethantsien 于 2012-10-10 12:35 编辑
sacry 发表于 2012-10-10 10:27
回复 45# starwing83


在p为真的情况下,~(p->q) <-> p->~q

所以说

如果我问你天空是蓝色,AND 你不会告诉我”是的“
如果我问你天空是蓝色,AND 你会告诉我”不是“

这两句其实是一个意思

因为,你要证明一个逻辑,只有前提是真的情况下,这个逻辑才有意义,因为假前提的情况下,无论推倒出结论是真是假,这个逻辑永远是真的


结论

1 真命题只能推导出真命题

2 只有假命题才能推倒出假命题

编辑一下,这里的“推导“的意思是,”通过正确的逻辑关系“



论坛徽章:
0
发表于 2012-10-10 12:38 |显示全部楼层
本帖最后由 sacry 于 2012-10-10 12:39 编辑

回复 52# ethantsien

恩,你说的是对的

我那里写仓促了,
我说这句话其实是想去IF-THEN消歧义,这句话里应该不需要IF逻辑
否则 不会告诉我”是的“ 和 你会告诉我”不是“ 不等价的。
因为 告诉我”是的“告诉我 AND 是的,所以否定应该是 不会告诉我 OR 告诉我不是 的样子。

1,如果我问你天空是蓝色的,你会告诉我“是的”  这句话用来描述问题不准确,
这句话转成Formal应该是
Your answer to P will be "yes"和IF I ask ,THEN your will answer的组合。

   
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

SACC2019中国系统架构师大会

【数字转型 架构演进】SACC2019中国系统架构师大会
2019年10月31日~11月2日第11届中国系统架构师大会(SACC2019)将在北京隆重召开。四大主线并行的演讲模式,1个主会场、20个技术专场、超千人参与的会议规模,100+来自互联网、金融、制造业、电商等领域的嘉宾阵容,将为广大参会者提供一场最具价值的技术交流盛会。




----------------------------------------

大会官网>>
  

北京盛拓优讯信息技术有限公司. 版权所有 16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122
中国互联网协会会员  联系我们:huangweiwei@it168.com
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP