c n 6 斯柯伦(Skolem)定理 其中:c 称为斯柯伦常元(Skolem constants) ƒ n 称为斯柯伦函词(Skolem functions) 对于公式 ∃xA(x),存在一个不在A中...
基于16个网页-相关网页
Thoralf Skolem 斯科尔姆
Skolem standard form 斯柯伦范式
Skolem function 斯柯伦函数
Skolem theorem 斯科伦定理
downward Lowenheim-Skolem theorem 降
Skolem hull 斯科伦壳
Skolem paradox 斯科伦佯谬
skolem closure 斯科朗闭包
应用推荐