| 解析命题符号化 |
| |
| 引用本文： | 唐金文.解析命题符号化[J].曲靖师范学院学报,2002,21(6):71-73. |
| |
| 作者姓名： | 唐金文 |
| |
| 作者单位： | 曲靖师范学院,计算机科学系,云南,曲靖,655000 |
| |
| 摘 要： | 在命题逻辑学的整个推理过程中 ,命题准确、正确的符号化是关键的、重要的第一步 .若命题符号化是错误的 ,则最终的推理结果必然错误 .在有关“命题逻辑学”的教材及参考书中对此缺乏详细的介绍及讲解 ,本文结合教学对命题符号化中的一些问题进行探讨 .
|
| 关 键 词： | 命题逻辑学 命题符号化 教学探讨 |
| 文章编号： | 1009-8879(2002)06-0071-03 |
| 修稿时间： | 2002年3月21日 |
The Symbolisaailn of Proposition |
| |
| TANG Jin-wen.The Symbolisaailn of Proposition[J].Journal of Qujing Normal College,2002,21(6):71-73. |
| |
| Authors: | TANG Jin-wen |
| |
| Abstract: | 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. |
| |
| Keywords: | the logic of proposition the symbolization of proposition Research of teaching |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
