Re: [請益] 該如何理解語句邏輯的公理?
※ 引述《teves (teves)》之銘言：
: : All men are aliens.
: : Socrates is a man -> Socrates is a alien.
: 為什麼要廢掉?
: 現實生活中
: All men are aliens : False
: Socrates is a man : True
: Socrates is a alien: False
: (F&T)->F : True
: 就真值上沒錯啊
: 重要的是推論的過程有不有效
: 要正確的表示這樣的關係會需要用到first-order logic
噗，原來你的課本上，這個最基本的三段式邏輯範例是這樣解釋的，
可以印給我瞻仰一下嗎?
而且我也是第一次看到印證一個statement有沒有效
是把真實生活的值亂代一下，算出一個真值，就可以說這個statement有效了。
你沒有注意到，你的亂證居然也能證明下列式子是有效的?
All men are aliens.
Socrates is not a man -> Socrates is a alien
照你的證法
All men are aliens : False
Socrates is not a man : False
Socrates is a alien: False
(F&F)->F : True
居然是一個有效的statement耶。
我是說真的，
如果你的邏輯課本上真的在教這種概念，真的拜託你掃瞄或印出來讓大家看看。
: 對初學者來講邏輯本來就不是那麼好懂的東西
: 畢竟邏輯一開始也是起源於哲學
: 這些學科最初也是想要探討我們的世界及心靈
: 如果你認為使用到現實生活的例子都是在"亂代入",會誤導初學者
: 我也沒辦法
: 我同意有些例子很難以理解
: 但我不認為因為這樣它們就是錯的
我不關心你認不認為錯，我只看到你正在展現一個亂代入而且亂證的案例。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.7.56
※ 編輯: luciferii 來自: 59.121.7.56 (08/26 20:15)
推
08/26 21:43, , 1F
08/26 21:43, 1F
→
08/26 21:44, , 2F
08/26 21:44, 2F
→
08/26 22:15, , 3F
08/26 22:15, 3F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 13 之 20 篇)：