其次证明模态系统P3和严格蕴涵系统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.
实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件,将它作为蕴涵成立的充分条件来使用是不合适的。
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.
应用推荐