论文部分内容阅读
在命题逻辑学的整个推理过程中,命题准确、正确的符号化是关键的、重要的第一步.若命题符号化是错误的,则最终的推理结果必然错误.在有关"命题逻辑学"的教材及参考书中对此缺乏详细的介绍及讲解,本文结合教学对命题符号化中的一些问题进行探讨.
解析命题符号化
【摘 要】
：
在命题逻辑学的整个推理过程中,命题准确、正确的符号化是关键的、重要的第一步.若命题符号化是错误的,则最终的推理结果必然错误.在有关"命题逻辑学"的教材及参考书中对此缺
【机 构】
：
曲靖师范学院计算机科学系
【出 处】
：
曲靖师范学院学报
【发表日期】
：
2002年6期
其他文献