作者asdinap (asdinap)
看板logic
标题Re: [请益] 证明a=b,then b=a
时间Wed Nov 16 17:17:05 2011
※ 引述《MathTurtle (恩典)》之铭言：
: 嗯, a=b 和 b=a 的确不同, 一个是 'a' 在前面, 一个是'b'在前面。
: 在一般的述词逻辑里面, 如果有 '=' 这个述词, 通常给的 axioms 只有下面两条:
: (1) for all x, x=x
: (2) for all x for all y, if x=y, then Fx iff Fy
: 也就是只有 reflexivity 和 Leibniz's Law, 并不包含 a=b和b=a要等价。
: 至於证明的话, 就是要从 (1)和 (2) 推出 a=b, therefore b=a
: 1. a=b Ass.
: 2. a=a (1) UI
: 3. if a=b then a=a iff b=a (2) UI
: 4. a=a iff b=a 1, 3 MP
: 5. if a=a then b=a 4 'iff'
: 6. b=a 2, 5. MP
请问一下为什麽不能这样证:
1. a = a
2. b = a 因为 a = b 左边的a用b代入
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 203.64.83.24
1F：推 MathTurtle:其实是一样的, 不过你写的是 informal 的想法, 把它按 11/16 20:25
2F：→ MathTurtle:照系统中的推论规则写出来就会像是我给的那样。 11/16 20:25