| 释义 |
1. | 斯科伦 4.14. 斯科伦（Skolem）范式 ------------------------------------------------------------------------------- blog.csdn.net | 2. | 斯科朗 这其中，弗兰克尔（Frankel）和斯科朗（Skolem）作出了很大贡献，故取三人名字的首字母，称该系统为ZFS系统；或简称为Z… blog.sina.com.cn | 3. | 斯柯林 ...谓词 逻 辑的 若 干 基本 概 念, 接着通过 斯柯林( SKOLEM) 标准型, 研究 海伯 伦 理论 , 进而 描 述命 题逻 辑 和一阶逻辑 中的... wenku.baidu.com |
4. | | 5. | 斯克林 从前束性范式中消去全部存 在量词所得到公式即为斯克林（skolem） 范式，或称skolem标准型。 将谓词公式G化为skolem标 … www.docin.com | 6. | 斯克伦 奥斯陆的斯克伦（Skolem）早在1929年就发表了几个结果，现在回顾起来，那些结果实际上已经预示了完全性定理。只不过那 … blog.sina.com.cn | 7. | 斯柯伦 ...)，其中 e 为一新的个体常元，称 e 为斯柯伦 斯柯伦（Skolem）常元 常元，用 A(e/x)代 斯柯伦 常元 替?xA(x),但这次我们不 … wenku.baidu.com | 8. | 斯克朗 ...梅罗系统．A．弗伦克尔(Fraenkel)和Th．斯克朗(Skolem)独立地指出了上述公理Ⅲ中的命题函数的“确定”性是不严谨的，应把 … space.cenet.org.cn |
|