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