在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。
In the knowledge implication propositional logic system which build on this strategy, 1.
youdao
应用推荐
模块上移
模块下移
不移动