go top

Zeroth-order logic

  • 零阶逻辑(零阶逻辑是与布尔函数、一元谓词演算、命题逻辑或句子逻辑有关的术语,它确立了更高的抽象层次,包容了这些主题之间的无关紧要的区别。表1列出了具体类型X × Y → B和抽象类型 B × B → B的十六个函数在零阶逻辑的不同语言中的等价表达)

网络释义英英释义

  零阶逻辑

... zeroth diffraction order 零次衍射 zeroth-order logic 零阶逻辑 zeroth-order 零级 ...

基于2086个网页-相关网页

短语

Zeroth order logic 命题逻辑

Zeroth-order logic

  • abstract: Zeroth-order logic is first-order logic without quantifiers. A finitely axiomatizable zeroth-order logic is isomorphic to a propositional logic.

以上来源于: WordNet

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

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

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