关于离散数学中形式逻辑的一个实用问题,谢谢高手们!相信大家都听说过一个逻辑问题:逻辑学家误入部落,酋长告诉他,现在设置了两个门.一个生门一个死门.分别由两个人守着,一个只讲真话

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/02 22:35:04

关于离散数学中形式逻辑的一个实用问题,谢谢高手们!相信大家都听说过一个逻辑问题:逻辑学家误入部落,酋长告诉他,现在设置了两个门.一个生门一个死门.分别由两个人守着,一个只讲真话
关于离散数学中形式逻辑的一个实用问题,谢谢高手们!
相信大家都听说过一个逻辑问题:逻辑学家误入部落,酋长告诉他,现在设置了两个门.一个生门一个死门.分别由两个人守着,一个只讲真话一个只讲假话.只能问一个问题,回答只有是和否.那个逻辑学家该问啥问题才能逃生?
用离散数学第一章的形式逻辑来可以做,将“此门是死门”等价成“(此战士说真话且回答不是)或者(此战士说假话且回答不是)”,然后运用等价转换成“否(这个战士回答是)”.但是我的问题是“此门是死门”第一步怎么等价出来的?难道是看真值表吗?离散数学里面有这个定理吗?
请用离散数学术语解释,谢谢高手们!

关于离散数学中形式逻辑的一个实用问题,谢谢高手们!相信大家都听说过一个逻辑问题:逻辑学家误入部落,酋长告诉他,现在设置了两个门.一个生门一个死门.分别由两个人守着,一个只讲真话
“此门是死门”,其本身即为逻辑学家的问题.
逻辑学家提出“此门是死门”,可以分析:
若此命题为真,真话战士回答“是”,假话战士回答“否”;若此命题为假,真话战士回答“否”,假话战士回答“是”.
逻辑学家提出“此门是生门”,可以分析:
若此命题为真,真话战士回答“是”,假话战士回答“否”;若此命题为假,真话战士回答“否”,假话战士回答“是”.
明显,此问题无效.

关于离散数学中形式逻辑的一个实用问题,谢谢高手们!相信大家都听说过一个逻辑问题:逻辑学家误入部落,酋长告诉他,现在设置了两个门.一个生门一个死门.分别由两个人守着,一个只讲真话 关于数学逻辑和形式逻辑的一个问题,求高手1 是这样的,我们在离散数学中学到:(A或B)且C 等价于 A且C或B且C 那么,这里有这样一个问题:“函数f(x)≥c,在其定义域内恒成立,求c的范围 关于离散数学的一个问题,下面的这个算式是什么意思 离散数学中关于配集的定义, 离散数学中关于求商集的两道小题 离散数学关于置换的一个问题在所有n次置换中,其中n-置换有几个?答案是n个,请问一下是怎么得出的? 离散数学的问题 形式逻辑,辩证逻辑.批判性思维.哪个能解决生活中遇到的问题? 关于世界语的问题对于一个普通人来说,现在学世界语有什么实用价值? 离散数学中关于空集的问题空集可以表示一个集合的元素吗?例如{∅},A={∅,如果对,那A={空集,a}的子集怎么算呢 另一个数学逻辑和形式逻辑的问题我们在形式逻辑中学过:否(A且B),等价于,否A或否B,那么,若在点的集合A中,任意一个元素,都不满足(x≤2且y≤8),是不是就等价于“任意一个元素,都满足 x 形式逻辑中定义有哪几种? 求一本关于形式逻辑的书普及版的,讲地生动浅显关于形式逻辑的书 离散数学中树的定义 离散数学中关于循环群的问题Z*7={1,2,3,4,5,6},X7为模7的乘法,是否为循环群?生成元是什么? 关于离散数学命题符号化的一个小问题 虽然天气很冷,可人们情绪很高.这句话要怎么符号化? 离散数学关于集合传递关系个数的问题如果一个集合有n个元素,那么在这个集合上有多少个传递关系? 离散数学关于笛卡尔积的基础问题证明:(A-B)XC=(AXC)-(BXC)