存在量词引入和消去规则教学策略探析.docVIP

存在量词引入和消去规则教学策略探析 　　摘 要：一阶谓词逻辑推理是数理逻辑教学的重要内容之一。在一阶谓词逻辑推理教学中，保证量词引入规则、量词消去规则的内容与形式的统一性对学生正确接受和理解推理过程具有重要作用。文章从离散数学教学实践出发，介绍一阶谓词逻辑推理中的存在量词引入规则与量词消去规则的教学策略。 　　关键词：离散数学;存在量词;规则 　　中图分类号：G642.0 文献标识码：A 文章编号：1002-4107（2015）12-0003-02 　　 离散数学是计算机科学与技术、软件工程等本科专业的一门基础课程，而数理逻辑是离散数学课程中的一个重要组成部分，对提高学生理解和构造数学证明的能力以及培养学生的计算思维（computational thinking）具有重要作用[1-2]。 　　 命题逻辑和一阶谓词逻辑是数理逻辑教学内容中的两个部分。一阶谓词逻辑通过引入量词来表达个体与总体之间的内在联系与数量关系[3]，从而克服了命题逻辑中无法表达数量关系的局限性。 　　 量词包括全称量词和存在量词。全称量词表达个体域中的所有个体，通常用符号“ ”表示;存在量词表达个体域中的单个个体，通常用符号“ ”表示。一般用小写字母a、b、c等符号表示个体常元，用小写字母x、y、z等符号表示个体变元，用大写字母A、B、C、P、Q、R等符号表示谓词。在谓词公式 xP（x）或 xP（x）中，x是约束变元，也称变元x是约束出现，这时的P（x）称为 x或 　　 x的辖域;如果谓词公式Q（y）中不存在变元y的约束出现，则称变元y在Q（y）中自由出现，或称y是自由变元。在谓词公式 x yP（x，y）或 x yP（x，y）中，变元x在 x或 x的辖域内是约束出现，但在 y或 y的辖域内是自由出现。 　　 一阶谓词逻辑推理系统除了具有与命题逻辑推理中一样推理规则之外，还有4条与量词的引入和消去有关的规则，分别是全称量词引入规则（简记为 +或UG）、全称量词消去规则（简记为 -、UI或US）、存在量词引入规则（简记为 +或EG）、存在量词消去规则（简记为 -、EI或ES）。量词引入也称为量词泛化，量词消去也称为量词实例化或指定。这4条与量词有关的引入和消去规则极大地丰富了一阶谓词逻辑推理的表达能力。 　　 在量词引入规则和量词消去规则的教学中，保证量词引入规则以及量词消去规则的内容与形式的统一性对学生正确理解和接受推理规则及推理过程具有重要作用，否则容易引起学生理解上的困惑。 　　 一、现有的规则 　　 我们以文献[3]中关于存在量词引入规则（ +或EG）和存在量词消去规则（ -、EI或ES）为例进行说明。文献[3]是普通高等教育“十一五”国家级规划教材，具有代表性。在文献[3]中给出的全称量词引入规则和全称量词消去规则的内容与形式是统一的，不存在理解上的困惑。 　　 文献[3]给出的存在量词引入规则（ +或EU）形式为： 　　或 （1） 　　以及 　　或 （2） 　　其中，x、y是个体变元符号，c是个体常元符号。应用该规则的前提要求是：在谓词公式A中，变元y不在 x和 x的辖域内自由出现，常元c不在 x和 x的辖域内出现。 　　 在上述式（1）这对表述中，第一个表述成立的依据是公式A（c）→ xA（x）永真，因此有A（c） xA（x）;第二个表述成立的依据是假言三段论规则：（B→A（c））∧（A（c）→ xA（x）） B→ xA（x）。式（2）的情形类似。 我们看到，这个规则称为“存在量词引入规则”，其推理结果在形式上也体现了存在量词 ，规则的内容与符号形式是统一的，学生易于理解和接受。 　　 然而，文献[3]给出的存在量词消去规则（ -或EI）的形式为： 　　或 （3） 　　以及 　　或 （4） 　　其中，y是个体变元符号，c是个体常元符号，应用该规则的前提要求是：变元y不在推理的任何前提公式以及谓词公式B中自由出现，常元c不在推理的任何前提公式以及谓词公式 xA（x）及B中出现。 　　 我们看到，在这个称为“存在量词消去规则”的推理结果形式中反而出现了存在量词 ，使得规则的内容与符号形式不统一，导致学生