命题的符号化
The symbolization of propositions
以上为机器翻译结果,长、整句建议使用 人工翻译 。
若命题符号化是错误的,则最终的推理结果必然错误。
If symbolic notation is error, it will cause mistake of result of conclusion.
youdao
应用推荐
模块上移
模块下移
不移动