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

看板logic作者 (nous)時間12年前 (2011/11/10 12:01), 編輯推噓2(2推 0噓 17→)
留言19則, 3人參與, 最新討論串1/13 (看更多)
這是台大邏輯考古題 題目是:使用推論規則證明 a=b /then b=a 我不太有頭緒要從哪證明起...... 念數學的人說，要證明這個，要先知道a=b和b=a有不同 但根據定義，它們是相同的。所以如果他要證明，答案很可能是"根據定義"。 但哲學系應該不太會這樣子證明(?) 所以來請教大家，你們的想法。^^ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 111.240.242.83
推
11/10 13:08, , 1F
如果是邏輯題目的話,應該是用a=b就是(a^b)v(~a^~b)之類去證
11/10 13:08, 1F
→
11/10 13:11, , 2F
然後再用交換律做
11/10 13:11, 2F
→
11/10 13:14, , 3F
做起來像這樣 前提 a=b
11/10 13:14, 3F
→
11/10 13:15, , 4F
1. (a^b)v(~a^~b) Equiv
11/10 13:15, 4F
→
11/10 13:15, , 5F
2. (b^a)v(~b^~a) Comm
11/10 13:15, 5F
→
11/10 13:16, , 6F
3. b=a Equiv
11/10 13:16, 6F
→
11/10 13:17, , 7F
寫的格式不太對..算了
11/10 13:17, 7F
→
11/10 15:07, , 8F
我大概知道了! 完全忘記有equiv.這條規則 = =+謝謝!
11/10 15:07, 8F
推
11/10 15:08, , 9F
上面寫的不太對, 因為 'a=b' 並不等價於(a^b)v(~a^~b)
11/10 15:08, 9F
→
11/10 15:09, , 10F
a 是一個 name for object, 並不是 name for proposi-
11/10 15:09, 10F
→
11/10 15:09, , 11F
tion...
11/10 15:09, 11F
→
11/10 15:09, , 12F
突然想到 a三條線(若且為若)於b 就是 a=b 嗎@@?
11/10 15:09, 12F
→
11/10 15:10, , 13F
三條線的符號 好像不是等號
11/10 15:10, 13F
→
11/10 15:10, , 14F
不一樣....'a iff b' 當中的 'a' 'b'是命題
11/10 15:10, 14F
→
11/10 15:10, , 15F
如果是這樣 就不能使用equiv了
11/10 15:10, 15F
→
11/10 15:10, , 16F
沒錯....三條線不是等號
11/10 15:10, 16F
→
11/10 15:11, , 17F
哭哭 害我白高興幾秒 以為有頭緒了
11/10 15:11, 17F
→
11/10 15:16, , 18F
那請問M大有沒有解題方向>"<
11/10 15:16, 18F
→
11/10 15:17, , 19F
抱歉 我看到你的回文了XD 謝謝
11/10 15:17, 19F
‣ 更多 chantaltw 的文章
文章代碼(AID): #1EkqodGv (logic)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 13 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共13篇)
‣ 更多 chantaltw 的文章
文章代碼(AID): #1EkqodGv (logic)