[法律资料]谈谈离散数学中.ppt

谈谈离散数学中数理逻辑的教学 一、弄清数理逻辑演算形式系统的语构和语义 学习数理逻辑的命题演算和谓词演算形式系统，其实也是在学习一类语言系统------形式语言系统。要教好或学好这两个演算，弄清这类语言的语构（也称语法syntax）和语义（semantic）这两个方面是极其重要的。 语言的语构通常指语言的成分和构成，包括：字，词法，句法。在命题演算和谓词演算形式语言中则是指字母表（或符号表）： 命题演算符号表?=?(,),┐, ∨, ∧, →，?,p1 ,p2 ,p3 ,…，q1 ,q2 ,q3 ,…?,其中(,)是技术符号---括号, pi ,qi为命题变元或命题常元。 谓词演算符号表?组成如下： 个体变元x1,x2,x3, …, y1,y2,y3, …（简称变元） 个体常元a1,a2,a3, …, b1,b2,b3, …（简称常元） 函词,,…（一元函词） ,,…（二元函词） …… ,,,…（n元函词） …… 谓词,…（一元谓词） ,…（二元谓词） …… ,…（n元谓词） …… 其真值联结词，┐, ∨, ∧, →，? 量词 ?,? 括号（，） 由于命题演算形式语言以命题为最小研究单元，因此它不需要表示个体对象的词法，只有表示命题公式的词法。谓词演算形式语言的词法便是它的项的构成规则和合式公式的构成规则： 谓词演算中项（terms）定义如下： （1）变元和常元为项。 （2）对任意正整数n，如果t1,t2, …，tn为项，那么f(n)t1t2…tn亦为项。 除有限次使用（1），（2）条款可确认为项的符号串外，没有别的是项。 谓词演算形式语言中的合式公式（well found formula）定义如下： (1)对任意正整数n，如果t1,…，tn为项，那么P(n) t1t2…tn为公式，并称之为原子公式。 (2)如果A，B为公式，那么（┐A）, （A∨B）, （A∧B）, （A→B）,（A?B）,（?vA）,（?vA）（v为任一变元）均为公式。 （3）除有限次使用（1），（2）条款可确认为公式的符号串外，没有别的是公式。 命题演算和谓词演算形式语言的句法则是它们各自系统内的推理规则，即由公理导出定理（或由公式重写公式的重写规则） 语言的语义通常指语言成分的含义或对语言成分的指称，包括词义，句义（文意）。在命题演算和谓词演算形式语言中则是对个体域的确定（变元的语义：取值范围），对常元、函词、谓词的解释（个体域上的函数、性质和关系），对联接词、量词的真值规定，进而确定项的语义（个体域中的个体）以及公式的意义（即它的真值）。 我们知道语构的机器处理是十分简单的，就是通常所说的数据处理问题；而语义的机器处理是相当困难的，一个简单的命题公式的可满足性判断就已经是NP完全的了，一阶逻辑公式的可满足性判断则是理论不可计算的（或半可计算的）。 离散数学中通常先从逻辑代数说起，即非形式地介绍数理逻辑，大体是在介绍数理逻辑形式系统的语义，然后才介绍形式系统本身，也就是它的语构部分。这种次序的颠倒对于教学是十分必要的，但由此引起了学生的混淆。因此，建议在讲解形式系统后，给予学生一个回顾和整理，区分数理逻辑形式系统的语构和语义这两个方面。以下的对照表，也许在教学中是会有帮助的。 二、弄清数理逻辑形式系统的研究的几个层面 对数理逻辑演算形式系统的研究将使用两种语言三个层面。一种是数理逻辑形式系统本身所使用的那个形式语言，我们称之为对象语言（object Language），另一种是介绍和研讨这个形式系统时使用的语言，为通常所用的数学语言，常称为元语言（meta Language）。后者也用大量符号，包括（1）沿用形式系统的符号（它们是讨论的对象）；（2）表示形式系统中同一类符号的符号，称为语法变元（syntactic variables），例如用v 表示系统中的变元x1,x2,x3, … , y1,y2,y3, … 中的任意一个；（3）为表达元语言概念引入的新符号例如├，╞ 等。 对数理逻辑演算形式系统的研究的三个层面是： 第一个是对对象语言语构的研究，即形式系统的建立