当前位置 :
关于离散数学中形式逻辑的一个实用问题,谢谢高手们!相信大家都听说过一个逻辑问题:逻辑学家误入部落,酋长告诉他,现在设置了两个门.一个生门一个死门.分别由两个人守着,一个只讲真话
更新时间: 2025-08-29 13:16:32
1人问答
问题描述:

关于离散数学中形式逻辑的一个实用问题,谢谢高手们!

相信大家都听说过一个逻辑问题:逻辑学家误入部落,酋长告诉他,现在设置了两个门.一个生门一个死门.分别由两个人守着,一个只讲真话一个只讲假话.只能问一个问题,回答只有是和否.那个逻辑学家该问啥问题才能逃生?

用离散数学第一章的形式逻辑来可以做,将“此门是死门”等价成“(此战士说真话且回答不是)或者(此战士说假话且回答不是)”,然后运用等价转换成“否(这个战士回答是)”.但是我的问题是“此门是死门”第一步怎么等价出来的?难道是看真值表吗?离散数学里面有这个定理吗?

请用离散数学术语解释,谢谢高手们!

陈廷槐回答:
  “此门是死门”,其本身即为逻辑学家的问题.逻辑学家提出“此门是死门”,可以分析:若此命题为真,真话战士回答“是”,假话战士回答“否”;若此命题为假,真话战士回答“否”,假话战士回答“是”.逻辑学家提出“此门是...
数学推荐
数学推荐
最新更新
优秀数学推荐
保卡通(baokatong.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
Copyright©2009-2021 保卡通 baokatong.com 版权所有