intuitionistic implication
直觉主义蕴涵
基于1个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
第三部分主要介绍不同的蕴涵理论，如实质蕴涵、严格蕴涵、相干蕴涵、反事实蕴涵和直觉主义蕴涵等。
The third part mainly introduces different implication theories, including: material implication, strict implication, relevant implication, counterfactual implication and intuitive implication.
youdao
应用推荐
模块上移
模块下移
不移动