Re: [請益] 該如何理解語句邏輯的公理?
※ 引述《luciferii (路西瓜)》之銘言：
: ※ 引述《teves (teves)》之銘言：
: : 我也再開回你好了
: : 這是到教邏輯推論的東西了
: : 你看我之前提的那份教材內容
: : 再給你wiki
: : http://en.wikipedia.org/wiki/Statement_(logic)
: : 他們在舉例時會特別提"這是現實世界"嗎?
: : 的確一個statement可以是任意的T/F值
: : 但當我們以現實世界的東西舉例
: : 沒有特別提真值的情況下
: : 通常就是指現實生活中的值
: : 你要說什麼因為你沒給預設值所以它可以是任何值
: : 是沒錯
: : 但在我看來只是吹毛求疵罷了
: 請問你是用 wiki 在學邏輯嗎?
因為比較方便讓你看的是wiki
不然你就說wiki寫錯了,那份教材也寫錯了,我不反對.
: 照你的說法，要把現實生活的值納進來考量
: 那用這種基本例子的課本都要廢掉囉?
: 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
: 嚴謹的表達本來就是邏輯的基礎，當隨便用現實生活中的想法亂代入時，初學者就是會錯亂得很嚴重。
: 怪不得常常都看到被搞得胡裏胡塗的自學者上來發問。
對初學者來講邏輯本來就不是那麼好懂的東西
畢竟邏輯一開始也是起源於哲學
這些學科最初也是想要探討我們的世界及心靈
如果你認為使用到現實生活的例子都是在"亂代入",會誤導初學者
我也沒辦法
我同意有些例子很難以理解
但我不認為因為這樣它們就是錯的
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.109.22.19
討論串 (同標題文章)