目前问题是，过度扩张说是错误命题还是只是言之过早。
The question now is whether the overstretch thesis was wrong or simply premature.
若命题符号化是错误的，则最终的推理结果必然错误。
If symbolic notation is error, it will cause mistake of result of conclusion.
若命题符号化是错误的，则最终的推理结果必然错误。
If symbolic notation is error, it will cause mistake of result of conclusion.
应用推荐