• 文章类似一般拟阵公理讨论模糊构成模糊集所要满足的一些条件

    We investigate some conditions that fuzzy subsets make up of fuzzy bases to be similar to the base axiom.

    youdao

  • 本文利用演绎定理证明思路给出一个由演绎证明构造公理证明的一般程序增加了简化命令,使程序既严格具有实际可操作性。

    The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.

    youdao

  • 本文利用演绎定理证明思路给出一个由演绎证明构造公理证明的一般程序增加了简化命令,使程序既严格具有实际可操作性。

    The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.

    youdao

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

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

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