go top

soundness of inference rules

  • 推理规则的合法性:指推理规则在逻辑上的正确性和有效性。

网络释义专业释义

  推理规则的合法性

... soundness of program logic程序逻辑边定性 soundness of inference rules推理规则的合法性 The soundness of his performance他表演的娴熟. ...

基于1个网页-相关网页

  • 推理规则的合法性

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

双语例句

  • Soundness, which means that the system's rules of proof will never allow a false inference from a true premise.

    健全意味着系统规则举证责任决不允许虚假推理真正前提

    youdao

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

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

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