中英▼
go top

Skolem normal form

  • 斯科伦范式（一阶逻辑公式的Skolem化消除存在量词生成等价可满足公式，与二阶逻辑等价）

网络释义英英释义

  范式

... 裘国永 86 斯柯林范式 定义2.16 若B是A的前束范式且每个存在量词均在 全称量词之前，则称B是A的斯柯林范式(Skolem normal form)。

基于8个网页-相关网页

Skolem normal form

  • abstract: In mathematical logic, reduction to Skolem normal form (SNF) is a method for removing existential quantifiers from formal logic statements, often performed as the first step in an automated theorem prover.

以上来源于: WordNet

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

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

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