※ 引述《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