作者alfadick (悟道修行者)
看板logic
标题Re: 微软中国研究院最新面试题 (保证最浅显易懂的 …
时间Fri Apr 12 20:29:29 2013
※ 引述《yyshiao (yyshiao)》之铭言：
: 所谓对逻辑一知半解 就是你忘记逻辑学是从国外的文字翻译过来
: 让你忘记国外的文字都有时态 而你在用没有时态的中文来理解
: 而误以为逻辑没有时间性 遂导致中文用逻辑来理解可以出现这麽多谬论
: 1+1=2不在2/2=1的集合内
: 故if 1+1=2, then 2/2=1 伤害事实
: 例子很多 比方说if i am a docter, i will conduct the operation.
: 尽管我真的是医生 但 i am a docter是"已经发生的已知" 真值表要当作"F"
: 那如果用逻辑图呢? 本题无法判断.(无法判断和无法推论是不同事情，无法判断的
: 原因是因为i will conduct the operation无法划出已知逻辑图)
: 那在回到小明小强
: 小明:如果我不知道，则小强不知道
: 要用真值表 那就是"不知道"是指 "还没有发生的未知"
: 所以中文写作"如果我还不知道，则小强肯定还不知道" 较贴切
: 那其反面当然就是 如果小强肯定会知道 则我会知道--->真,好解本题
: 真值表
: 如果我还不知道，则小强肯定还不知道---->真,但难解本题
: 如果我会知道，则小强肯定还不知道---->真,但难解本题
: 如果我会知道，则小强肯定会知道---->真，但难解本题
: 如果我还不知道，则小强肯定会知道---->不真，不能拿来解题(命题者没有特别说明，
: 已不伤害事实为原则)
: 如果把小明的话当作现在式或是过去式 那就是"已经发生的已知"
: 那用 如果我已经不知道，则小强肯定还不知道 来看呢
: 此用真值表法 "如果我已经不知道"要视为F
: 所以F T-->T 本命题为真，但难解本题
: 那用逻辑图法呢? 无法判断 因为"还没发生的未知"画不出来
: 那用 如果我还不知道，则小强肯定已经不知道 来看呢
: 此用真值表法 "则小强肯定已经不知道"要视为F
: T F--->F 本命题为不真，不能拿来解题
: 那用逻辑图法呢? 无法判断 因为"还没发生的未知"画不出来
以上述删
想藉标题问一下!!
我对数学逻辑超有兴趣, 可是手上没书看,
买中文逻辑的书又怕买到写得很少或写得不清不楚的书
例如 p->q 我觉得很多书都没写得很清楚, 几乎都只讲最基本定义,
可是读了板上这些讨论, 觉得书里写的实在不敷使用(或者我买的是比较浅的?)
想买一本逻辑的好书圣经, 预算跟书架空间有限,
不想买到地雷, 英文书或中文书都可~~~ 感恩
(我是初学者, 程度就高中程度.... 但想学很多东西)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.25.18.21
1F：推 t0444564:你不妨先说说看你对p->q的理解是甚麽? 04/12 20:43
2F：→ alfadick:p -> q 为一statement,其值由p,q决定 04/12 20:58
3F：→ alfadick:当p为T,q为T时,p->q为T; p为T,q为F时,p->q为F 04/12 20:59
4F：→ alfadick:其他情况下p->q为F, 只知道这样 04/12 20:59
5F：→ alfadick:对於命题逻辑这名词是什麽完全不知道 好像是很重要的东西 04/12 21:00
6F：→ alfadick:总觉得基础很飘 04/12 21:00
7F：→ alfadick:#1HJpgoyN 这篇文章的讨论我的书都没有写,很想找本书念 04/12 21:01
8F：→ alfadick:逻辑哲学/符号逻辑/自然语言 是什麽也都不知道>< 04/12 21:02
9F：→ alfadick:另外请问p->q中, p跟q可以是开放语句吗? 04/12 21:36
10F：→ alfadick:ex: x=6 -> x=4 04/12 21:36
11F：→ alfadick:or呢? and, or, ->, ~中哪些是可以的? 04/12 21:37
※ 编辑: alfadick 来自: 114.25.18.21 (04/12 21:39)
12F：推 kaifrankwind:没有大学数学背景的话 Tidman and Kahane写的Logic 04/13 23:44
13F：→ kaifrankwind:and Philosophy是个选择(中译 庄文瑞的逻辑与哲学 04/13 23:45
14F：→ kaifrankwind:有数学底子的话 可以考虑Enderton的Mathematical Log 04/13 23:46
15F：→ kaifrankwind:ic 04/13 23:46
16F：→ alfadick:想要越数学越好,不想学太科普的逻辑,想深入!!! 04/14 11:03
17F：推 raiderho:Enderton 那本应该足够满足你现阶段要求了。 04/14 20:00
18F：→ alfadick:谢谢以上前辈回覆, 去搞来看了~~ 04/14 20:03