...表达和解释并详释第二 章已经介绍过的变数、量词和辖域等概念,由此引入逻辑依存 (logical dependency)、斯科林化(Skolemization)、分枝量词(branching quantifiers) 等概念。
基于12个网页-相关网页
斯科林化
Skrinization
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动