中英▼
go top

logical dependency

  • 逻辑依赖关系

网络释义专业释义

  逻辑依存

...讨论一阶逻辑量化结构的逻辑表达和解释并详释第二章已经介绍过的变数,量词和辖域等概念,由此引入 逻辑依存 ( logical dependency ),斯科林化(Skolemization),分枝量词(branching quantifiers)等概念.

基于12个网页-相关网页

  • 逻辑依赖关系

·2,447,543篇论文数据，部分数据来源于NoteExpress

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定