Re: [問題] 關於universal generalization 的restr …
※ 引述《rodyforeter (rodyforeter)》之銘言：
: : variables:變元，代表不特定的個體，通常用x,y,z...來表示，以跟個體常元
: : a,b,c..區隔.
: 代表不特定的個體，那麼是不是也可能只代表單一個體? 或者某一群 或者任何個體
這個要看設定的論域，通常那些綀習的習題是看不出來，因為那些只是要綀綀推論
與證明，總之，它只是個能代入的變數而已。但如果你自已造論證，你可以設定好
x談論到的範圍(如"人"，"男人"，"女人")，談論的對象有幾個，這時候就比較清楚。
--------------------------初一～初三十一吃素分隔線--------------------------
: 2.Fx 從EI來我不懂 我以為EI只能做出 Fa.Fb.Fc.....這種個體常元的function?因為EI
: 表示至少存在一個的instantiation 而Fx雖然有可能為指某一個卻也可能是一個以上的
EI只能是個體變元x,y,z...，不能是常元，因為從單單從"有些人是禿頭"，推不出誰是禿
頭(張三，李四)，在推論上的證據還不足。但我們可以推出Fx,Fy,Fz，代表至少有一個
為真，但x是代表那一個特定人士我們並不清楚。
: : (3)如果α在條件證預設或歸謬證法預設中的語句或語句函數裡是自由出現的，不可以在
: : 預設釋放前，對它做UG。
: 這裡我是這樣想的 不知道對不對:
: 因為x是自由存在於預設中，要驗證這個預設能不能在任何情況下都成立，有兩種情況
: 第一種如果x只代表某"一"個或者某"些" 那只能做EG不能做UG如此預設才能合法驗證，
: 第二種是x代表所有、任何 那就能做EG也能做UG都可以合法驗證這個預設
: 所以為了讓這個預設在各種(兩種)情形中都能合法去驗證，只能用EG而不能用UG，EG驗證
: 能讓兩種情況都包含，相反UG就算驗證出了預設也只能在x是代表所有、任何的情形成立
: 這種想法，也就是Fx x可能為非任何or任何，讓我困惑
: 要怎麼樣才能知道什麼時候Fx能做UG? 例如 Fx /(x)Fx 能不能做UG得證結論?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 219.80.133.38
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 7 之 10 篇)：