若命题符号化是错误的,则最终的推理结果必然错误。
If symbolic notation is error, it will cause mistake of result of conclusion.
youdao
应用推荐
模块上移
模块下移
不移动