看板 [ logic ]
討論串[請益] 證明a=b,then b=a
共 13 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
3
下一頁
尾頁
#3
Re: [請益] 證明a=b,then b=a
推噓1(1推 0噓 1→)留言2則，0人參與, 最新作者asdinap (asdinap)時間14年前 (2011/11/16 17:17), 編輯資訊
0
0
0
內容預覽:
請問一下為什麼不能這樣證:. 1. a = a. 2. b = a 因為 a = b 左邊的a用b代入. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 203.64.83.24.
#2
Re: [請益] 證明a=b,then b=a
推噓4(4推 0噓 7→)留言11則，0人參與, 最新作者MathTurtle (恩典)時間14年前 (2011/11/10 15:07), 編輯資訊
0
0
0
內容預覽:
嗯, a=b 和 b=a 的確不同, 一個是 'a' 在前面, 一個是'b'在前面。. 在一般的述詞邏輯裡面, 如果有 '=' 這個述詞, 通常給的 axioms 只有下面兩條:. (1) for all x, x=x. (2) for all x for all y, if x=y, then F
(還有194個字)
#1
[請益] 證明a=b,then b=a
推噓2(2推 0噓 17→)留言19則，0人參與, 最新作者chantaltw (nous)時間14年前 (2011/11/10 12:01), 編輯資訊
0
0
0
內容預覽:
這是台大邏輯考古題. 題目是:使用推論規則證明 a=b /then b=a. 我不太有頭緒要從哪證明起....... 念數學的人說，要證明這個，要先知道a=b和b=a有不同. 但根據定義，它們是相同的。所以如果他要證明，答案很可能是"根據定義"。. 但哲學系應該不太會這樣子證明(?). 所以來請教大
首頁
上一頁
1
2
3
下一頁
尾頁