看板
[ logic ]
討論串[請益] 證明a=b,then b=a
共 13 篇文章
內容預覽:
簡短回應:. 1. zoneline 的回應沒有錯, 我那個證明用的. for all x for all y, if x=y, then Fx iff Fy. 是一個 axiom scheme。. 2. 我覺得很大的一部份是名稱問題。在一般的 first-order logic裡,. 一定會有這一
(還有1446個字)
內容預覽:
我還是再回一篇好了。. 為了避免再誤解，我直把將(2)寫成. (2) ∀x∀y(x=y → (φx ↔ φy)). 這就很清楚，「φx」和「φy」不是一階述詞邏輯的 wff ，「φ」不在一階述詞邏輯. 的vocabulary裡。為了說明，現規定「Fx」和「Rx」是這套邏輯裡的述詞符號，因此. (2a
(還有1181個字)
內容預覽:
很抱歉，不是很懂您回的內容，感覺有些其他的問題在裡面，似乎可以寫得更清楚或聚焦些；我試著整理看看：根據「完構語句」(wff, well form formular)的規則，從「公理句式」(axiom schema)可以得到「公理」(axiom)，只要，該公理句式是「邏輯真」的語句，也就是，無須前提即
(還有1035個字)
內容預覽:
我說數龜提到的第二條 axiom. (2) for all x, for all y, if x=y, then Fx iff Fy. 其實是axiom schema，因為這條裡面的「Fx」和「Fy」其實可以代入任意性質，. 「F」是後設語言的符號。. 先做個類比，你可能見過類似這個 wff 的定義
(還有1497個字)
內容預覽:
自反性(reflexivity, "(x)Rxx")不是「等同性」，雖然，「等同性」是自反性的一種，另一個自反性的例子是：__是__的子集合。. 萊布尼茲等同律(LL)，包含有「等同性」的內容之外，多了，對事物「性質」的討論，. 萊布尼茲等同律是「二階邏輯」，它對「性質」(述詞, e.g. 'F')
(還有1183個字)