数理逻辑中范式教学探讨.docVIP

数理逻辑中范式教学探讨 　　文章编号：1672-5913(2008)12-0060-03 　　摘要：命题公式范式是命题逻辑中的一个重要内容，也是计算机学科中人工智能、软件工程等多门核心课程的重要数学基础。本文作者对此内容进行了深入的研究，在结合教学实践的基础上，提出了一个完整的教学案例。 　　关键词：离散数学；命题逻辑；主合取范式；主析取范式 　　中图分类号：G642 　　文献标识码：A 　　 　　1引言 　　 　　命题公式的范式理论是数理逻辑的重要内容,它在计算机科学与技术专业后续课程数据结构、编译原理、软件工程、计算机网络、人工智能等领域中有广泛的应用。本文通过对范式教学的研究，提出了一个完整的教学案例，并在此基础上对于范式与集合论的联系、范式在人工智能中的应用给出了知识的扩展，使学生在学习的同时既能获取数学知识同时又能对知识的应用、延伸取得了较好的效果。 　　 　　2范式的有关概念回顾 　　 　　范式的有关概念：积，和，基本积，基本和，析取范式，合取范式，极小项，极大项，主析取范式，主合取范式定义参见文献[1]。 　　 　　3教学案例 　　 　　任一含有n个命题变元的公式，都有唯一的一个与之等值的恰仅含n个命题变元的主范式，即主析取范式或主合取范式。 　　2.1主范式的求法 　　通常求主范式的方法有两种，一是将已知命题公式等值变换为所要求的主范 　　式;二是列出真值表后,根据真值表写出相应的极大项和极小项,最后写出主合取范式与主析取范式。由于后面要多用到主范式求法故在此略。 　　2.2主范式的重要作用 　　主范式在数理逻辑中具有重要作用，归纳起来如下。 　　2.2.1利用主范式证明命题公式等价 　　由命题公式的主范式的唯一性可知，若两个命题公式A、B具有同一主范式，则必有 ，反之依然。 　　例1证明 和 　　逻辑等价。 　　证明： 　　 　　所以，两式逻辑等价。 　　2.2.2利用主范式将命题公式简化 　　先求出命题公式的主范式，再由分配律可得 则可用A替换二式。 　　 　　例2将命题公式进行化简。 　　解先求出该公式的主析取范式： 　　 　　(其主析取范式) 　　(根据上式) 即将原公式简化了。 　　2.2.3利用主范式判断命题公式类型 　　真值表法和等值演算法都能解决命题公式的判定问题，但当命题变项的数目较多时，上述两种方法都显得不方便，而主范式提供了最理想的判别方法[2]。若命题公式的主析取范式中含所有的极小项或其主合取范式中不含任何极大项，则为重言式；若公式的主析取范式中不含任何极小项或其主合取范式中含所有的极大项，则为矛盾式；若公式的主析取范式中至少含有一个极小项或其主合取范式中至少有一个极大项不含有，则为可满足式。 　　例3判断下列命题公式的类型。 　　 　　2.2.4利用主范式研究命题公式的赋值 　　命题公式的主析取范式中所含极小项角码的二进制表示为公式的成真赋值，没有出现的极小项角码(即公式主合取范式中所含极大项角码)的二进制表示为公式的成假赋值。 　　例4研究命题公式的赋值情况。 　　解 　　 　　所以，公式成真赋值为000,010,100；成假赋值为001,011,101,110,111。 　　2.2.5利用主范式推导命题公式的真值表 　　由命题公式的主范式可直接写出真值表，如例6真值表见表1 　　 　　2.2.6利用主范式判断推理的正确性 　　推理的理论基础是逻辑等价式与永真蕴涵式，通过主范式可以方便的验证作为推理规则的等值式和蕴涵式是否为永真式，从而说明推理过程是否正确。 　　例5判断下列推理是否正确。 　　① 如果今天是星期二，那么我有一次计算方法测验或物理测验。如果物理老师生病，那么没有物理测验，今天是星期二并且物理老师生病，所以我有一次计算方法测验。 　　② 如果张小三的手沾满鲜血，那么他杀了人，张小三手很清洁，所以张小三没有杀人。 　　解先将命题符号化，再写出前提、结论及推理规则，然后通过主范式判断。 　　① 设P：今天是星期二；Q：我有一计 　　算方法测验；R：我有一次物理测验；S：物理老师生病；即前提是 、 、 ，结论是 。推理规则是 　　 。推理是否正确取决于此规则是否为永真式。易得其主析取范式为 为永真式(过程略)，显然此推理是正确的。 　　② 设P：张小三的手沾满鲜血；Q：他杀了人。 　　即前提是 、 ，结论是 。推理规则是 。易得其主析取范式是 不为永真式(过程略)，显然此推理是错误的。 　　 　　4范式内容扩展 　　 　　3.1范式与集合的关系 　　集合在计算机中易于存储和表示，但命题逻辑中的等价式、蕴含式和推理在计算机中存储和表示比较困难。本文