看板
[ logic ]
討論串[請益] 證明a=b,then b=a
共 13 篇文章
內容預覽:
They are certainly not equivalent.. In general, (x)[P → Ax] is equivalent to [P → (x)Ax]. (provided that x doesn't occur free in P);. but [(x)Ax → P]
(還有1730個字)
內容預覽:
謝謝你的回應，對回文內容作刪減，是因為想作一些整理，. 略去我覺得可能不是重點而不必提的部分，. 因此刪除了部分重要而容易導致誤解的內容，是我的不對，還請見諒。. 以下想先對你回應的內容作一些簡單的回應，. 再跟著補充幾個可能比較有趣的問題。. 1. 使用axiom scheme，並在證明中個例化出
(還有1194個字)
內容預覽:
哪兩件事？請回到源頭，有人問臺大試題：證「a=b, therefore b=a」，所給的答案理當是純符號化的推導過程，你的例子是非該題之純符號化由「axiom scheme」到「axiom」的一例，這些都是清楚的推導或證明的一種，而「axiom scheme」是個「邏輯真」，理當也可以證明之；而不是
(還有969個字)
內容預覽:
想跟著這個討論釐清一下自己也常常混淆的一些概念問題，還請各位不吝指正。. 我想你好像不是很明白axiom和axiom scheme兩個概念的區別。. 區分axiom和axiom scheme的功能主要是在於：有了axiom scheme，. 我們可以在證明的任意一個步驟中加入我們想要的合於此sche
(還有1167個字)
內容預覽:
把該「axiom scheme」(用拉丁文等)給符號化(symbolize)，以「個例化」出特定的. 「axiom」，如「(x)(y)[x=y → (x=x≡y=x)]」，再UI成「a=b → (a=a≡b=a)」，不正是個邏輯上清楚的推導麼。該「axiom scheme」亦能合邏輯推導規則地「自我
(還有923個字)