go top

网络释义专业释义

  natural deduction

(四)真值表(truth table) (五)间接真值表(indirect truth table) (六)自然演绎(natural deduction) (七)真值树法(truth tree method) 一、张三和李四到法庭为三名嫌犯P、Q、R作证。

基于2526个网页-相关网页

短语

自然演绎系统 [计] natural deduction system

  • natural deduction

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

新汉英大辞典

自然演绎

  • {逻} natural deduction
以上来源于:《新汉英大辞典》

双语例句

  • 义乌精神从无到有到向义乌精神”嬗变,存有一个可资探寻自然演绎逻辑

    The evolution of "Yiwu spirit" from scratch and then to the "new Yiwu spirit", has a capital to explore the natural deductive logic.

    youdao

  • 它们自然互生,基于一种投射演绎

    They are naturally co-creations based on a push and pull of projection and interpretation.

    youdao

  • 巴西Sadiaperdigao演绎第四策略利用国内自然资源一流营销分销手段炒作。

    Brazil's Sadia and perdigao exemplify the fourth strategy: taking advantage of natural resources at home, and boosting them with first-class marketing and distribution.

    youdao

更多双语例句

百科

自然演绎

在数理逻辑中,自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。这种方式对比于使用公理的公理系统。

详细内容

以上来源于: 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

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

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