• 其次证明系统P3严格蕴涵系统S3等价

    The second, we show the equivalence of P3 and S3.

    youdao

  • 第三部分主要介绍不同蕴涵理论,如实质蕴涵严格蕴涵相干蕴涵反事实蕴涵直觉主义蕴涵等。

    The third part mainly introduces different implication theories, including: material implication, strict implication, relevant implication, counterfactual implication and intuitive implication.

    youdao

  • 实质蕴涵严格蕴涵定义所给出只是蕴涵成立必要条件将它作为蕴涵成立的充分条件使用合适的。

    Further, it is made clear in the paper that the condition they supply is just the necessary condition for implication to be true that, it is improper to use it as a sufficient condition.

    youdao

  • 实质蕴涵严格蕴涵定义所给出只是蕴涵成立必要条件将它作为蕴涵成立的充分条件使用合适的。

    Further, it is made clear in the paper that the condition they supply is just the necessary condition for implication to be true that, it is improper to use it as a sufficient condition.

    youdao

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

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

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