討論串[問題] 關於universal generalization 的restr …
共 10 篇文章
內容預覽:
代表不特定的個體，那麼是不是也可能只代表單一個體? 或者某一群 或者任何個體很清楚 我懂了2.Fx 從EI來我不懂 我以為EI只能做出 Fa.Fb.Fc.....這種個體常元的function?因為EI表示至少存在一個的instantiation 而Fx雖然有可能為指某一個卻也可能是一個以上的這裡我
(還有217個字)
內容預覽:
這個要看設定的論域，通常那些綀習的習題是看不出來，因為那些只是要綀綀推論. 與證明，總之，它只是個能代入的變數而已。但如果你自已造論證，你可以設定好. x談論到的範圍(如"人"，"男人"，"女人")，談論的對象有幾個，這時候就比較清楚。. --------------------------初一～初
(還有46個字)
內容預覽:
最不會讓人誤會的方式(也是我理解的方式), universal generalisation. 是以下的推論規則(適用於任何系統):. (UG) 假設 φ(x)是任何的open formula, 而 x 是出現在 φ裡面. 惟一的 free variable, 而假設 a 是在φ中沒有出現的常元,.
(還有381個字)
內容預覽:
最近突然開竅看懂 UG restriction. 原本我一直把Fx 直接當成 (x)Fx. 現在知道通常在論證中出現的statement function. 其中free variable 出現的可能除了從UI導入. 其他都要小心思考一下這個變元是 x=1or2or3...or for all. 還
(還有767個字)
內容預覽:
其實兩個都可以。. 所謂 CP/IP證明的限制, 是指說在還沒有關起來的中間做UG,. 像是以下兩種證明都是不行的:. 1. Fx ACP. 2. (x)Fx UG. 3. Fx->(x)Fx CP. 4. (x)(Fx->(x)Fx) UG. 其中第二步的UG是不行的。. 1. (Fx & ~Fa
(還有868個字)