※ 引述《luciferii (路西瓜)》之铭言： : ※ 引述《yauhh (哟)》之铭言： : → teves:然後他们就会学到"苏格拉底是人"是一个statement,它是true 08/26 15:50 : → luciferii:「苏格拉底是人」这6个字也不是TRUE，它只是个statement 08/26 15:50 : → teves:"你是谁?"不是statement 08/26 15:50 : 逻辑课里都会强调，请你撇开真实世界的想法。 : 例如以下的statement : All men are aliens. : Socrates is a man -> Socrates is a alen. : 这绝对是个有效的statement，跟 Socrates 在实世界是不是火星人都没有关系。 : 当只有p->q这样的 statement 存在时 : Socrates is a man. : 或 : Moon is made of cheese -> Ma is the President of US. : 本身都无法判断是T/F还是Valid/Invalid，他们就只是单纯的statement。 : 除非你能由式子推出它们是一个无关 p/q的恒真恒假句。 : 真实世界你可以当成一种外加的前件。 : 若你要说这个 statemnet 是 T/F还是Valid/Invalid，就要写出你的条件 : 而加上条件後，就不会只用 p->q 三个符号就能完全表达完。 我也再开回你好了 这是到教逻辑推论的东西了 你看我之前提的那份教材内容 再给你wiki http://en.wikipedia.org/wiki/Statement_(logic) 他们在举例时会特别提"这是现实世界"吗? 的确一个statement可以是任意的T/F值 但当我们以现实世界的东西举例 没有特别提真值的情况下 通常就是指现实生活中的值 你要说什麽因为你没给预设值所以它可以是任何值 是没错 但在我看来只是吹毛求疵罢了 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.109.22.19