数理逻辑中的命题符号化的几个值得注意的问题 |
| |
引用本文: | 王敏.数理逻辑中的命题符号化的几个值得注意的问题[J].科技信息,2010(9):196-196,252. |
| |
作者姓名: | 王敏 |
| |
作者单位: | 沈阳工程学院基础部,辽宁沈阳110136 |
| |
摘 要: | 在数理逻辑中,要确保推理的正确性,首先就得保证命题符号化的准确性,本文对数理逻辑中的命题符号的准确性问题提出了值得注意的几点看法,以期在帮助学生掌握数理逻辑中的命题符号化即翻译方法的同时,又能对学生进行逻辑思维能力和抽象概括能力的训练。
|
关 键 词: | 数理逻辑 命题 逻辑联结词 量词 |
本文献已被 维普 等数据库收录! |
|