作者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