软件工程

本类阅读TOP10

·PHP4 + MYSQL + APACHE 在 WIN 系统下的安装、配置
·Linux 入门常用命令(1)
·Linux 入门常用命令(2)
·使用 DCPROMO/FORCEREMOVAL 命令强制将 Active Directory 域控制器降级
·DirectShow学习(八): CBaseRender类及相应Pin类的源代码分析
·基于ICE方式SIP信令穿透Symmetric NAT技术研究
·Windows 2003网络负载均衡的实现
·一网打尽Win十四种系统故障解决方法
·数百种 Windows 软件的免费替代品列表
·收藏---行百里半九十

分类导航
VC语言Delphi
VB语言ASP
PerlJava
Script数据库
其他语言游戏开发
文件格式网站制作
软件工程.NET开发
关于逻辑学家的经典问题

作者:未知 来源:月光软件站 加入时间:2005-2-28 月光软件站

  一逻辑学家误入某部落,被囚于牢狱,酋长欲意放行,他对逻辑学家说:“今有两门,一为自由,一为死亡,你可任意开启一门。现从两个战士中选择一人负责解答你所提的任何一个问题(Y/N),其中一个天性诚实,一人说谎成性,今后生死任你选择。”逻辑学家沉思片刻,即向一战士发问,然后开门从容离去。逻辑学家应如何发问?

  一种合理的答案应该是这样的:逻辑学家指着一个门问一个问题,不管他问的人是诚实的还是说谎的,如果这个门是自由之门则回答是,如果是死亡之门则回答否。对于对战士问的问题,可以包含两个简单命题,不妨把这两个简单命题符号化:
 
P:这个门是自由之门;Q:你是诚实的

对于这两个命题有4种组合:
P Q
0 0
0 1
1 0
1 1
把战士的回答符号化:A:战士的回答

  如果逻辑学家指的这个门是自由之门则P=1则,不管他问的人是诚实的还是说谎的,总有A=1
如果逻辑学家指的这个门不是自由之门则P=0则,不管他问的人是诚实的还是说谎的,总有A=0
即对上面的4种组合,有:
P Q A
0 0 0
0 1 0
1 0 1
1 1 1

考虑到当Q=0时的回答是假的,所以实际的原子命题的真值应该是:
P Q A
0 0 1
0 1 0
1 0 0
1 1 1

  这样就很清楚了,回想到那5个基本逻辑关系:非、合取、析取、蕴涵和等价的真值表,我们发现只有等价的真值表是和上面这个表是一样的,所以,答案是:

逻辑学家应该问:
P ←→ Q吗?

  即问题应该这样问:“命题P等价于命题Q这个命题是否是真命题?”或“我指的门是真的当且仅当你是诚实的吗?”)

  当然,对部落中野蛮人这样的问他有可能听不懂,逻辑学家就不知道该怎么办了,也许你也可以请语言学家出来帮忙:)


相关文章

相关软件