离散数学教学中的命题符号化难点讨论 被引量：7

1

作者 何锋 《计算机教育》 2007年第09S期38-40,共3页

离散数学是计算机科学与技术专业的一门重要的专业基础课程，而数理逻辑是其最复杂内容之一，而进行逻辑推理首先要进行命题符号化，如何进行准确的命题符号化正是本文要讨论的问题。

关键词 数理逻辑 命题符号化 教学方法

下载PDF 职称材料

关于命题逻辑中两个问题的思考 被引量：2

2

作者 陈敬华 胡松林 《湖北师范学院学报（自然科学版）》 2011年第4期103-106,共4页

针对学生在学习命题逻辑时有困难的两个基本问题,运用实例进行了分析说明,较好的解决了学生学习过程中的困难。

关键词 命题逻辑 合取范式 析取范式 命题符号化

下载PDF 职称材料

离散数学中数理逻辑的教学探讨 被引量：1

3

作者 邓春燕 郑涵 林芳 《河池学院学报》 2010年第B08期105-107,共3页

离散数学是计算机科学中的一门重要专业基础课。数理逻辑既是该门课程的重要内容,也是该课程的难点之一。文章主要探讨如何让学生更好地理解和掌握离散数学中的数理逻辑内容。

关键词 离散数学 命题逻辑 一阶逻辑 命题符号化

下载PDF 职称材料

解析命题符号化 被引量：1

4

作者 唐金文 《曲靖师范学院学报》 2002年第6期71-73,共3页

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

关键词 命题逻辑学 数理逻辑学 命题符号化 教学

下载PDF 职称材料

重视“正确表达否命题”的教学

5

作者 卢涛 《无锡教育学院学报》 2000年第2期65-67,共3页

本文探讨“正确表达否命题”

关键词 命题 等价式 命题符号化 教学 数学 “正确表达否命题” 中学

原文传递

函数在谓词逻辑符号化中的应用 被引量：1

6

作者 孙翠先 《唐山学院学报》 2016年第6期6-8,20,共4页

针对不同个体域,用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别,并给出了错误使用函数的例子,分析了产生错误的原因。

关键词 个体域 谓词逻辑 函数 命题符号化

下载PDF 职称材料

相容或排斥或简论──兼评《离散数学》中的一处失当 被引量：1

7

作者 张朝康 《培训与研究（湖北教育学院学报）》 2001年第2期83-84,共2页

本文强调“相容或”与“排斥或”不可混用，指出《离散数学》教材中的一处失当。

关键词 《离散数学》 “相容或” “排斥或” 教材 数理逻辑 命题符号化

下载PDF 职称材料

一阶逻辑命题符号化的研究

8

作者 方冬云 曾宪芾 《榆林学院学报》 2023年第5期57-60,共4页

一阶谓词逻辑作为一种重要的知识表示方法,有着强大的陈述表达能力,能够将思维活动准确的表达出来,而一阶逻辑命题符号化是一阶谓词逻辑的基础,把自然语言用离散数学的相关符号转化为谓词公式。文章着重分析自然语言含有三个或三个以上... 一阶谓词逻辑作为一种重要的知识表示方法,有着强大的陈述表达能力,能够将思维活动准确的表达出来,而一阶逻辑命题符号化是一阶谓词逻辑的基础,把自然语言用离散数学的相关符号转化为谓词公式。文章着重分析自然语言含有三个或三个以上谓词的命题符号化,将每句自然语言分解成多个复合的主谓语,按照“”量词与“→”联结词搭配,“”量词与“∧”联结词搭配的规则进行符号化。通过一阶逻辑命题符号化,利用一阶逻辑等值式及推理规则能高效率处理和解决自然语言领域的相关问题。 展开更多

关键词 一阶逻辑 命题符号化 一阶逻辑等值式

下载PDF 职称材料

离散数学命题符号化的三种方法 被引量：1

9

作者 郭芸 王朝晖 《苏州市职业大学学报》 2013年第3期44-46,共3页

命题符号化是离散数学课程的重要内容,看似简单,学生在学习过程中却常常犯错,甚至经典教材配套用书也存在一些错误.针对这一教学难题,分析出错的原因,并结合教学实际,提出了解决命题符号化问题的三种方法:真值表法、类比法和平衡主谓法.

关键词 离散数学 数理逻辑 命题符号化

下载PDF 职称材料

命题的一个新定义与命题的同一性问题 被引量：2

10

作者 周文华 《云南大学学报（社会科学版）》 北大核心 2016年第4期49-55,共7页

命题曾被定义为某些句子,但句子没有固定的真值。命题曾被定义为句子的意义,但"意义"这个概念并不比"命题"更清晰。还原论把命题定义为一种由可能世界、可能的个体等组成的集合论性的构造物,但这种理论意味着全部... 命题曾被定义为某些句子,但句子没有固定的真值。命题曾被定义为句子的意义,但"意义"这个概念并不比"命题"更清晰。还原论把命题定义为一种由可能世界、可能的个体等组成的集合论性的构造物,但这种理论意味着全部的逻辑真理表达的是同一个命题。命题曾被定义为是一些态度(如相信)的对象和真值的承担者;就是说,命题是由它与其他对象(如人,真值)的关系来定义的;这种定义使人们有理由怀疑命题是否真正存在,抑或是态度主体(人)的一种幻觉?命题的内容可以千变万化,但命题的内容却有共同的形式,不仅命题逻辑、一阶逻辑所表达的命题,而且二阶逻辑等高阶逻辑、非经典逻辑的命题,都能纳入这种形式。根据这一点我们提出了一个新的对命题的定义。这样定义的"命题"概念更加清晰,能让我们解决命题的同一性问题。 展开更多

关键词 命题 命题的定义 命题的同一性 命题的形式 命题的符号化

下载PDF 职称材料

命题形式与命题的符号化 被引量：1

11

作者 吴坚 《北京理工大学学报（社会科学版）》 CSSCI 2008年第1期25-29,共5页

命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。数理逻辑的谓词逻辑对非逻辑常项的引入,导致了命题的符号化和命题形式之间的相对分离,... 命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。数理逻辑的谓词逻辑对非逻辑常项的引入,导致了命题的符号化和命题形式之间的相对分离,使命题形式已不能简单地等同于命题的符号化。命题的符号化可以借助非逻辑常项实现,但纯命题形式不包含非逻辑常项,在纯形式推演中也没有真正意义上的非逻辑常项。 展开更多

关键词 命题形式 命题的符号化 变项 常项

下载PDF 职称材料

数理逻辑中谓词命题符号化的难点解析 被引量：1

12

作者 熊瑜 《数学学习与研究》 2017年第9期6-6,共1页

本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验，总结谓词命题符号化的学习要点和难点，从而帮助学生更高效地学习好数理逻辑．

关键词 谓词逻辑 谓词公式 命题符号化

下载PDF 职称材料

命题符号化数学中应注意的问题

13

作者 张凤 张炳汉 《天中学刊》 1998年第5期34-34,共1页

关键词 命题符号化 教学 数理逻辑 例题语句 逻辑命题

下载PDF 职称材料

关于一阶逻辑命题符号化的思考

14

作者 陈莉莉 《新校园（上旬刊）》 2017年第10期108-108,共1页

命题符号化是逻辑推理的基础，本文讨论一阶逻辑命题符号化需要注意的几个问题，帮助学生更好地掌握一阶逻辑的命题符号化。

关键词 一阶逻辑 命题符号化 个体域

下载PDF 职称材料

命题符号化教学中应注意的问题

15

作者 张凤 张炳汉 《天中学刊》 1998年第5期34-34,共1页

关键词 命题符号化教学 数理逻辑 命题语句 逻辑联结词

下载PDF 职称材料