※ 引述《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