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

看板logic作者 (asdinap)時間16年前 (2009/08/30 23:47), 編輯推噓3(3推 0噓 12→)
留言15則, 4人參與, 最新討論串17/20 (看更多)
※ 引述《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
推
08/31 08:47, , 1F
比如說你提出一個理論叫 台灣人口是偶數->台灣人口能被2整除
08/31 08:47, 1F
→
08/31 08:48, , 2F
它並不會因為你發現台灣人口現在實際上是奇數而變成錯的
08/31 08:48, 2F
→
08/31 08:54, , 3F
我們唯一能確定p->q:F的情況就是p:T,q:F的時候
08/31 08:54, 3F
→
08/31 08:55, , 4F
因此我覺得它做這樣的定義是有道理的
08/31 08:55, 4F
→
08/31 12:14, , 5F
若最後一條訂成 F F F, 那 p->q 就等價於 q 了
08/31 12:14, 5F
→
08/31 12:14, , 6F
詳情請看 #19k0N3ZY
08/31 12:14, 6F
推
08/31 12:35, , 7F
嗯樓上那篇很有價值
08/31 12:35, 7F
→
08/31 12:37, , 8F
另外你可能還是不是很清楚什麼叫邏輯式中對(true)
08/31 12:37, 8F
→
08/31 12:38, , 9F
它跟我我們語言概念上的"對"是不一樣的,所以會有困擾
08/31 12:38, 9F
→
08/31 12:43, , 10F
邏輯上的true比較像是"不違背"的感覺
08/31 12:43, 10F
→
08/31 13:10, , 11F
想一想..這樣感覺還是怪怪的XD
08/31 13:10, 11F
→
08/31 13:19, , 12F
就是ksmrt0123說的那樣
08/31 13:19, 12F
推
08/31 13:21, , 13F
那是數學家精心設計過的
08/31 13:21, 13F
→
08/31 13:22, , 14F
有興趣可以看看數學家Tarski對這個真值表的評語
08/31 13:22, 14F
→
09/01 17:13, , 15F
為什麼不能定理為 p:F q:F p->q:不做判斷是T或F
09/01 17:13, 15F
‣ 更多 asdinap 的文章
文章代碼(AID): #1AcfyVEd (logic)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 17 之 20 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共20篇)
‣ 更多 asdinap 的文章
文章代碼(AID): #1AcfyVEd (logic)