解析命题符号化

The Symbolisaailn of Proposition

在命题逻辑学的整个推理过程中 ,命题准确、正确的符号化是关键的、重要的第一步 .若命题符号化是错误的 ,则最终的推理结果必然错误 .在有关“命题逻辑学”的教材及参考书中对此缺乏详细的介绍及讲解 ,本文结合教学对命题符号化中的一些问题进行探讨 .

In the cause of conclusion of proposition logic,it's the first step and important to symbolize proposition accurately and correctly.If symbolic notation is error,it will cause mistake of result of conclusion.But it is seldom to explain and introduce in most teaching material and reference book of the logic of proposition,so it will be explored in this paper.