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