Re: [請益] 該如何理解語句邏輯的公理?
※ 引述《teves (teves)》之銘言：
: : All men are aliens.
: : Socrates is a man -> Socrates is a alien.
: : 這絕對是個有效的statement，跟 Socrates 在實世界是不是火星人都沒有關係。
: 我也再開回你好了
: 這是到教邏輯推論的東西了
: 你看我之前提的那份教材內容
: 再給你wiki
: http://en.wikipedia.org/wiki/Statement_(logic)
: 他們在舉例時會特別提"這是現實世界"嗎?
: 的確一個statement可以是任意的T/F值
: 但當我們以現實世界的東西舉例
: 沒有特別提真值的情況下
: 通常就是指現實生活中的值
: 你要說什麼因為你沒給預設值所以它可以是任何值
: 是沒錯
: 但在我看來只是吹毛求疵罷了
請問你是用 wiki 在學邏輯嗎?
照你的說法，要把現實生活的值納進來考量
那用這種基本例子的課本都要廢掉囉?
All men are aliens.
Socrates is a man -> Socrates is a alien.
嚴謹的表達本來就是邏輯的基礎，當隨便用現實生活中的想法亂代入時，初學者就是會錯亂得很嚴重。
怪不得常常都看到被搞得胡裏胡塗的自學者上來發問。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.24.209
討論串 (同標題文章)