作者asdinap (asdinap)
看板logic
标题Re: [请益] 该如何理解语句逻辑的公理?
时间Sun Aug 30 23:47:42 2009
※ 引述《alfadick (悟道修行者)》之铭言：
: ------------------------------------------------
: 先提一点, 「->」 不同於 「=>」
: ------------------------------------------------
: p->q 当你看到这个东西的时候，他是否成立你要自己去判断
: p q p -> q
: T T T
: T F F
: F T T
小弟最不满的就是下面这一条
: F F T
请问这是强制的规定 定义
还是可以套用一般人所接受的事实或说法或认知等等来解释的
: p->q 真值表
: p如果是False, 不管q对错
: p->q恒对
: 所以无论如何 p->q 都是 True
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.104.121.183
1F：推 teves:比如说你提出一个理论叫 台湾人口是偶数->台湾人口能被2整除 08/31 08:47
2F：→ teves:它并不会因为你发现台湾人口现在实际上是奇数而变成错的 08/31 08:48
3F：→ teves:我们唯一能确定p->q:F的情况就是p:T,q:F的时候 08/31 08:54
4F：→ teves:因此我觉得它做这样的定义是有道理的 08/31 08:55
5F：→ ksmrt0123:若最後一条订成 F F F, 那 p->q 就等价於 q 了 08/31 12:14
7F：推 teves:嗯楼上那篇很有价值 08/31 12:35
8F：→ teves:另外你可能还是不是很清楚什麽叫逻辑式中对(true) 08/31 12:37
9F：→ teves:它跟我我们语言概念上的"对"是不一样的,所以会有困扰 08/31 12:38
10F：→ teves:逻辑上的true比较像是"不违背"的感觉 08/31 12:43
11F：→ teves:想一想..这样感觉还是怪怪的XD 08/31 13:10
12F：→ Hseuler:就是ksmrt0123说的那样 08/31 13:19
13F：推 Hseuler:那是数学家精心设计过的 08/31 13:21
14F：→ Hseuler:有兴趣可以看看数学家Tarski对这个真值表的评语 08/31 13:22
15F：→ asdinap:为什麽不能定理为 p:F q:F p->q:不做判断是T或F 09/01 17:13