数理逻辑在物流技术上应用教学技巧.docVIP

数理逻辑在物流技术上应用教学技巧 　　摘要：物流技术在应用中需要离散数学的支持，数理逻辑是离散数学的重要组成部分，对于物流专业的学生来说，这部分内容是生疏的或者说是新奇的。 　　关键词：数理逻辑；技巧 　　中图分类号：F251 文献标识码:A 文章编号:1005-6432(2008)36-0069-02 　　 　　Teaching Skills Mathematical Logic Used in the Technical Logistics 　　 　　Meng Lingjiang 　　(Tangshan Normal College) 　　 　　Abstract: In the application of technology in logistics need the support of discrete mathematics, mathematical logic isan important part of discrete mathematics, to the logistics of professional students, this part of the contents is unfamiliar or anovel. 　　Key Words: mathematical logic; skill 　　 　　离散数学是计算机科学的理论基础，对于培养学生的逻辑思维和分析问题、解决问题的能力起着重要的作用。数理逻辑是离散数学的重要组成部分，对于物流专业的学生来说，这部分内容是生疏的或者说是新奇的。如何用较少的学时讲授完这部分知识，使学生熟练掌握逻辑推理的技巧，是我们多年来探索的一项课题。本文通过我们多年的教学经验，谈如下几点教学建议： 　　 　　一、明确命题概念，正确掌握联结词的运算规律 　　 　　物流专业学生在其他课程中见过的命题大多是前提与结论有着必然联系，而且都是正确的命题，而数理逻辑中的命题是广义的，是指能判断真假的陈述句。在明确概念以后，要通过及时举例说明祈使句、感叹句、疑问句，无论真与假都不能成为命题。有些语句虽然是陈述句，但真假不能确定，也不能成为命题。虽然至今还没有得到证明，但我们认为它是一个命题，只是它的真值目前还不为人所知。 　　关于命题的五种联结词“┐,∧，∨，→， #8596;”的运算规律，在教学中为了使学生既理解其实质，又便于掌握，可以将各种运算编成口诀。如合取联结词“∧”的运算口诀为“见0得0”；析取联结词“∨”的口诀为“见1得1”；蕴涵联结词“→”的口诀为“傻子办事总是对的，就是不允许聪明人办错事”；等价联结词“ #8596; ”的口诀为“相同则真，不同则假”。有了这些口诀，这些运算规律就非常易记了。 　　A#8660; B表示A、B两个命题公式等值，其定义为命题公式“ A #8596; B ”为重言式。当命题各项之间的关系复杂时，用真值表判别两个命题公式是否等值较为烦琐。为了方便，往往给出一组典型的等值式，这些等值式为人们进行命题公式的推演及运算带来了很大的方便，而且大多与学生们在中学中熟悉的集合论中的集合运算有着完全相同的形式。只须将数理逻辑中的“┐，∧，∨，0，1,#8660; ”分别看成集合论中的“～，∩，∪，Φ，E,＝”，这样数理逻辑中的大部分公式就都不用再重新另记。 　　 　　二、主析取范式与主合取范式的化归 　　 　　任何一个命题公式都可化为与之等值的主析取范式与主合取范式。而主析取范式与主合取范式之间是容易转换的。所以对于一个给定的命题公式，只介绍化为主析取范式的方法。将命题公式化为主析取范式可以分为以下几步进行。 　　首先用等值式“ A → B #8660; not;A ∨ B ” 和“ A #8596; B #8660; (A ∧ B)∨ (not;A ∧ not;B) ”将命题公式中的蕴涵联结词“ → ”和等价联结词“ #8596; ”去掉，再将其化为析取范式。将上面得到的析取范式中所含的不是极小项的简单合取式进行裂变，对于缺k 个文字的简单合取式要裂变成2k 个极小项析取。若能注意到在裂变过程中“┐”号尽量前赶，所得结果就会保持由同一个简单合取式裂变而成的极小项的顺序是自然顺序。最后根据幂等率合并相同的极小项，再进一步调整其顺序。 　　 　　三、在自然推理系统P中构造推理证明的多种形式 　　 　　在自然推理系统P中构造推理证明一般有三种方法，即直接推理法、附加前提法和归谬法。附加前提法一般适用于结论为蕴涵式，此时可将结论中的前件也作为推理的前提使得结论只为结论的后件。而归谬法一般适合于结论为全否定的形式，这时将结论的反面作为前提引入，只要推出0即为有效推理。但是无论是对于任何一个推理形式结构