作者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