严格蕴涵 strict implication
- 其次证明模态系统P3和严格蕴涵系统S3等价。
The second, we show the equivalence of P3 and S3. - 第三部分主要介绍不同的蕴涵理论,如实质蕴涵、严格蕴涵、相干蕴涵、反事实蕴涵和直觉主义蕴涵等。
The third part mainly introduces different implication theories, including: material implication, strict implication, relevant implication, counterfactual implication and intuitive implication. - 实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件,将它作为蕴涵成立的充分条件来使用是不合适的。
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.
您正在访问的是
中国词汇量第二的英语词典
更多精彩,登录后发现......