藏刊网,职称文章发表、期刊投稿权威机构 咨询电话:13161763581

投稿咨询

13161763581

投稿在线咨询

专著咨询

合著&独著&编委

编辑在线咨询

专利咨询

专利申请&转让

编辑在线咨询

软著版权

软著版权

编辑在线咨询

在线沟通

论文&专著&专利

编辑在线咨询

微信聊

微信扫一扫

首页 > 教育论文 > > 解决离散数学命题符号化问题的三种方法
解决离散数学命题符号化问题的三种方法
>2023-04-28 09:00:00


离散数学是计算机科学中重要的基础理论之一,同时也是培养学生缜密的思维、提高学生素质的核心课程.在离散数学的教学中,解题方法起着特殊而重要的作用.通过解题方法的训练,理论联系实际,可以培养学生综合分析问题的能力.

命题符号化是离散数学的一个重要分支——数理逻辑的基础内容.命题符号化的正确与否,会直接影响到逻辑推理的可行性和正确性.对给定命题进行符号化就是要把该命题表达成合乎规定的命题表达式,因此在具体表达时,首先要列出原子命题,然后根据给定命题的含义,把所设的原子命题用适当的联结词连接起来.在教学过程中发现,学生在确定原子命题和选用联结词这两个关键步骤上往往容易出错,常见的错误包括:把简单命题符号化为复合命题、混淆联结词,,的使用场合,以及在使用联结词→时颠倒了前件和后件等.这些错误类型在学生中相当普遍,几乎每届学生都会出现,甚至离散数学经典教材的配套习题解答书在该类问题上也犯了以上错误.由此可见,探索如何有效解决这一教学问题显得很有必要.

根据多年的教学发现,对具体题目的简单批改和纠正效果并不明显,因为这样做只是让学生“知其然”,未能从本质上认识错误,在遇到变化过的题目时学生还会困惑.只有从本质上剖析错误原因,找出避免错误的技巧和方法,让学生“知其所以然”,才能从根本上帮助学生杜绝错误的发生.在教学过程中总结了三种方法:真值表法、类比法和平衡主谓法.下面结合具体的例子来进行阐述.

1、真值表法

在命题符号化时,如果不能确定用哪个联结词,可以采用真值表法:首先列出所有可能的命题公式的真值表,然后比较原命题的含义与这些命题公式的真值情况,最后根据比较结果来确定联结词.

常用的联结词有:,,,→,,,,↑,↓等.其中,学生在使用过程中最容易混淆的是,,.

左孝凌等编写的《离散数学》在国内颇具影响,许多高校将它用作本科生和研究生的教材.对于该书的第1章第3节习题\\(7\\)中的命题\\(a\\)的符号化,配套的习题解答书,也犯了这类错误:命题\\(a\\)为“假如上午不下雨,我去看电影,否则就在家里读书或看报.”其给出的解答是“设P:上午下雨.Q:我去看电影.R:我在家里读书.S:我在家里看报.则该命题可符号化为

以上三种解答代表了的三种不同理解.为了判断究竟哪种解法正确,可以采用如下真值表法.

首先,列出命题公式\\(1\\)、\\(2\\)、\\(3\\)的真值表\\(为了简化表格,不妨令W=RS\\),如表1所示.

对照命题\\(a\\)的原意不难发现,当以下两种情况发生时,命题\\(a\\)为假.

1\\)上午没下雨,但我没去看电影\\(即P=F,Q=F\\);2\\)上午下雨,但我没在家里读书或看报\\(即P=T,W=F\\).

情况1\\)对应于表1的7、8两列,情况2\\)对应于表1的2、4两列,在这四列中,命题公式\\(1\\)、\\(3\\)的真值为T,命题公式\\(2\\)的真值为F,所以,命题公式\\(2\\)符合要求.

2、类比法

在使用条件联结词→符号化命题时,若不确定将哪部分作为前件、哪部分作为后件,可以采用类比法:把原命题与自己熟悉的句式作比较,先“翻译”成熟悉的句式,再确定前后件.

条件命题P→Q表示“如果命题P成立,那么命题Q成立.”其中,P称为前件,Q称为后件,P是Q的充分条件,Q是P的必要条件.可以用条件命题表示的句式很多,除了“如果…,那么…”外,还有“若…,则…”,“只要…,就…”,“只有…,才…”,“因为…,所以…”,“…,仅当…”,“除非…,才…”,“除非…,否则非…”,“…,除非…”等.学生在解题过程中经常出现的主要错误是颠倒了前件和后件.

为了避免这样的错误,首先把\\(a“\\)只要P,就Q”,\\(b“\\)只有P,才Q”,作为两个典型句式重点讲解,让学生理解:在句式\\(a\\)中,P是Q的充分条件,应符号化为P→Q;在句式\\(b\\)中,P是Q的必要条件,应符号化为Q→P.然后要求学生在处理其它句式时,先将该句式“翻译”成句式\\(a\\)或\\(b\\),再进行符号化.

例如,设P:我有空.Q:我将上街.则命题“除非我有空,我才会上街.”可以“翻译”成“只有我有空,我才会上街.”因而可以符号化为Q→P.而命题“我将上街,除非我没空.”可以“翻译”成“只要我有空,我就会上街.”,因而原命题可以符号化为P→Q.

事实上,上文提到的一些句式都能“翻译”成句式\\(a\\)或\\(b\\),其“翻译”和符号化结果如表2所示.

3、平衡主谓法

在对命题进行符号化时,如果遇到主语是“A和B”或“A与B”等表示多人\\(或物\\)的形式时,若不确定该命题是简单命题还是复合命题,可以采用平衡主谓法.分析谓语的性质,如果谓语也是多人\\(或物\\)间的关系或者需要多人\\(或物\\)共同完成的一件事情,则该命题是一个简单命题;否则该命题就是复合命题,应被分解成多个简单命题并用联结词连接.

例如,在命题“小王和小李是同学”中,同学是一种关系,所以该命题是一个简单命题.而另一个命题“小王和小李是三好生”中,三好生就不是关系,因此该命题应符号化为PQ\\(其中,P:小王是三好生,Q:小李是三好生\\).

4、结论

对于数理逻辑这个学科分支来说,命题符号化是基础也是难点,初次接触的学生不容易完全掌握.以上提出的三种方法,希望能对学生有所帮助,给同仁有所借鉴.当然,命题符号化的题目形式千变万化,在教学过程中还应该注重培养学生的灵活性以及归纳和创新的能力.

参考文献:
[1]左孝凌,李为鑑,刘永才.离散数学[M].上海:上海科学技术文献出版社,2007:1-12.
[2]左孝凌,李为鑑,刘永才.离散数学——理论分析题解[M].上海:上海科学技术文献出版社,2005:19-64.
[3]于晶晶,张爱琴,彭程.离散数学——全程导学及习题全解[M].北京:中国时代经济出版社,2007:12-15..
[4]何锋.离散数学教学中的命题符号化难点讨论[J].计算机教育,2007\\(S\\):38-40.
[5]陈敬华,胡松林.关于命题逻辑中两个问题的思考[J].湖北师范学院学报:自然科学版,2011,31\\(4\\):103-106.
[6]唐金文.解析命题符号化[J].曲靖师范学院学报,2002,21\\(6\\):71-73.

综合排序
投稿量
录用量
发行量
教育界

主管:广西壮族自治区新闻出版局

主办:广西出版杂志社

国际:ISSN 1674-9510

国内:CN 45-1376/G4

级别:省级期刊

中国报业

主管:中国报业协会

主办:中国报业协会

国际:ISSN 1671-0029

国内:CN 11-4629/G2

级别:国家级期刊

中国房地产业

主管:中华人民共和国住房部和...

主办:中国房地产业协会

国际:ISSN 1002-8536

国内:CN 11-5936/F

级别:国家级期刊

建筑与装饰

主管:天津出版传媒集团有限公司

主办:天津科学技术出版社有限...

国际:ISSN 1009-699X

国内:CN 12-1450/TS

级别:省级期刊

科学与信息化

主管:天津出版传媒集团有限公司

主办:天津科学技术出版社有限...

国际:ISSN 2096-2908

国内:CN 12-1451/N

级别:省级期刊

财经界

主管:国家发展和改革委员会

主办:国家信息中心

国际:ISSN 1009-2781

国内:CN 11-4098/F

级别:国家级期刊

期刊在线投稿系统
上传文件
支持上传.doc、.docx、.pdf文件
18年国内外学术服务,发表国际文献请认准藏刊网官网

资深编辑团队

专业设计投入方案

投稿成功率极高

企业信誉保障

对公交易更安全

人民群众口碑好

高效投稿流程

审稿快!出刊快!检索快!

正规刊物承诺

无假刊!无套刊!

投稿成功!

藏刊网提醒您

1.稿件将进入人工审稿阶段,审稿后会有编辑联系您,请保持手机畅通。

2.为避免一稿多投、重刊等现象影响您的发表,请勿再投他刊

确定

投稿失败!

藏刊网提醒您

由于网络问题,提交数据出现错误,请返回免费投稿页面重新投稿,谢谢!

确定

藏刊网收录400余种期刊,15年诚信发表服务。

发表职称文章,覆盖教育期刊、医学期刊、经济期刊、管理期刊、文学期刊等主流学术期刊。

投稿电话:13161763581(江编辑)   投稿邮箱:cangkan@163.com

本站少量资源属于网络共享如有侵权请您联系我们,将在第一时间删除。