[請益] 證明a=b,then b=a

[chantaltw (nous)]

這是台大邏輯考古題

題目是:使用推論規則證明 a=b /then b=a

我不太有頭緒要從哪證明起......

念數學的人說，要證明這個，要先知道a=b和b=a有不同
但根據定義，它們是相同的。所以如果他要證明，答案很可能是"根據定義"。

但哲學系應該不太會這樣子證明(?)
所以來請教大家，你們的想法。^^

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 111.240.242.83
推 teves:如果是邏輯題目的話,應該是用a=b就是(a^b)v(~a^~b)之類去證
→ teves:然後再用交換律做
→ teves:做起來像這樣 前提 a=b
→ teves:1. (a^b)v(~a^~b) Equiv
→ teves:2. (b^a)v(~b^~a) Comm
→ teves:3. b=a Equiv
→ teves:寫的格式不太對..算了
→ chantaltw:我大概知道了! 完全忘記有equiv.這條規則 = =+謝謝!
推 MathTurtle:上面寫的不太對, 因為 'a=b' 並不等價於(a^b)v(~a^~b)
→ MathTurtle:a 是一個 name for object, 並不是 name for proposi-
→ MathTurtle:tion...
→ chantaltw:突然想到 a三條線(若且為若)於b  就是 a=b 嗎@@?
→ chantaltw:三條線的符號 好像不是等號
→ MathTurtle:不一樣....'a iff b' 當中的 'a' 'b'是命題
→ chantaltw:如果是這樣  就不能使用equiv了
→ MathTurtle:沒錯....三條線不是等號
→ chantaltw:哭哭 害我白高興幾秒 以為有頭緒了
→ chantaltw:那請問M大有沒有解題方向>"<
→ chantaltw:抱歉 我看到你的回文了XD 謝謝