That backward path is the foundation of Western, linear logic.
这种反向推论的路径是西方逻辑的基础,即线性逻辑。
youdao
应用推荐
模块上移
模块下移
不移动