作者chantaltw (nous)
看板logic
标题[请益] 证明a=b,then b=a
时间Thu Nov 10 12:01:39 2011
这是台大逻辑考古题
题目是:使用推论规则证明 a=b /then b=a
我不太有头绪要从哪证明起......
念数学的人说，要证明这个，要先知道a=b和b=a有不同
但根据定义，它们是相同的。所以如果他要证明，答案很可能是"根据定义"。
但哲学系应该不太会这样子证明(?)
所以来请教大家，你们的想法。^^
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 111.240.242.83
1F：推 teves:如果是逻辑题目的话,应该是用a=b就是(a^b)v(~a^~b)之类去证 11/10 13:08
2F：→ teves:然後再用交换律做 11/10 13:11
3F：→ teves:做起来像这样 前提 a=b 11/10 13:14
4F：→ teves:1. (a^b)v(~a^~b) Equiv 11/10 13:15
5F：→ teves:2. (b^a)v(~b^~a) Comm 11/10 13:15
6F：→ teves:3. b=a Equiv 11/10 13:16
7F：→ teves:写的格式不太对..算了 11/10 13:17
8F：→ chantaltw:我大概知道了! 完全忘记有equiv.这条规则 = =+谢谢! 11/10 15:07
9F：推 MathTurtle:上面写的不太对, 因为 'a=b' 并不等价於(a^b)v(~a^~b) 11/10 15:08
10F：→ MathTurtle:a 是一个 name for object, 并不是 name for proposi- 11/10 15:09
11F：→ MathTurtle:tion... 11/10 15:09
12F：→ chantaltw:突然想到 a三条线(若且为若)於b 就是 a=b 吗@@? 11/10 15:09
13F：→ chantaltw:三条线的符号 好像不是等号 11/10 15:10
14F：→ MathTurtle:不一样....'a iff b' 当中的 'a' 'b'是命题 11/10 15:10
15F：→ chantaltw:如果是这样 就不能使用equiv了 11/10 15:10
16F：→ MathTurtle:没错....三条线不是等号 11/10 15:10
17F：→ chantaltw:哭哭 害我白高兴几秒 以为有头绪了 11/10 15:11
18F：→ chantaltw:那请问M大有没有解题方向>"< 11/10 15:16
19F：→ chantaltw:抱歉 我看到你的回文了XD 谢谢 11/10 15:17