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