Re: [請益] 該如何理解語句邏輯的公理?

[asdinap (asdinap)]

※ 引述《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
推 teves:比如說你提出一個理論叫 台灣人口是偶數->台灣人口能被2整除
→ teves:它並不會因為你發現台灣人口現在實際上是奇數而變成錯的
→ teves:我們唯一能確定p->q:F的情況就是p:T,q:F的時候
→ teves:因此我覺得它做這樣的定義是有道理的
→ ksmrt0123:若最後一條訂成 F F F, 那 p->q 就等價於 q 了
→ ksmrt0123:詳情請看 #19k0N3ZY
推 teves:嗯樓上那篇很有價值
→ teves:另外你可能還是不是很清楚什麼叫邏輯式中對(true)
→ teves:它跟我我們語言概念上的"對"是不一樣的,所以會有困擾
→ teves:邏輯上的true比較像是"不違背"的感覺
→ teves:想一想..這樣感覺還是怪怪的XD
→ Hseuler:就是ksmrt0123說的那樣
推 Hseuler:那是數學家精心設計過的
→ Hseuler:有興趣可以看看數學家Tarski對這個真值表的評語
→ asdinap:為什麼不能定理為 p:F q:F p->q:不做判斷是T或F