[谓词逻辑的基础概念及其应用.docVIP

谓词逻辑的基础概念及其应用 王春旭 哈尔滨师范大学 摘 要：数学逻辑学是研究数学教育中所需的逻辑知识及如何应用于数学教育和解决数学教育问题的一门学科。本文主要讨论谓词逻辑的基础概念及其在数学教育中的应用。谓词逻辑分很多种，而这里要研究的是狭义谓词逻辑或称一阶谓词逻辑。研究它的三个基础知识及其在教育学中的应用。 关键词：谓词的概念 公式 等价式 应用 数学逻辑学是研究数学教育中所需的逻辑知识及如何应用于数学教育和解决数学教育问题的一门学科。是一门逻辑学与数学教育学相结合的边缘学科，属于应用逻辑，其核心内容属于数理统计。它的基本内容主要分为命题逻辑，简单命题的分解与概念，谓词逻辑和归纳逻辑及其在数学教育中的应用。 我们为进一步讨论命题和推理需要把简单命题分解为个体词，谓词和量词。谓词逻辑就是研究它们的形式结构，逻辑性质，谓词关系及从中导出的规律。而本文主要讨论谓词逻辑的基础概念及其在数学教育中的应用。 谓词逻辑包括命题逻辑，它除了命题变元外，还有个体变元和谓词变元等。如果量词只作用于个体变元，并且谓词都是关于个体的性质和关系 ，而不涉及关系的性质和关系之间的关系，那么这样限制下的谓词逻辑称为狭义谓词逻辑或一阶谓词逻辑，它是最基础的谓词逻辑。 本文即将讨论谓词的概念，公式，谓词逻辑的等价式及其在教育学中的应用实例。 谓词逻辑的预备知识 ㈠ 个体（主词）与谓词的概念 简单命题可分解为个体与谓词，其中个体又叫主词。 1．个体：指能独立存在的事物，它可以是具体的，可以是抽象的。如张三，。。。。。。 由个体组成的集合成为个体域或论域。所由个体组成的个体域称为全总个体域。如果变元在某个体域中取值，则称为个体变元。 2. 谓词：指个体的性质或若干个个体之间的关系。前者是一元谓词，后者当个体数为n时为n元谓词。 谓词变元：可以在由谓词变元组成的集合中取值的变元。单独一个谓词是改有意义的。如：。。。。。。是无理数，。。。。。。大于。。。。。。，它们必须与个体结合在一起才能明确意义，像“是无理数”（真），“5大于2”（真），“2大于3”（假）。 3．谓词用以下符号表示：F,G,R，为明确各是几元谓词，可用谓词后面带有若干个空位表示，如F（ ），G（ ），R（ ）等。在谓词后面的空位填以个位就是谓词填式，空位中填以个体变元就是谓词命名式。例如：若用F（x）表示“x是无理数”，R(x,y)表示“x大于y”，个体域为实数集，x,y为个体变元。则F()为谓词填式，R(x,y)为谓词命名式。例如：F()为真，F(3)为假，R(5,2)为真，可见F(),F(3)，R(5,2)为命题。 4.命题函数：为以个体域（实数集）为定义域，以命题为值的映射（函数）。由于命题在{T,F}集上取值，因此F（x）, R(x,y)为从个体域（实数集）到{T,F}上的函数，称之为命题函数（或命题函项或逻辑函数），其中F（x）为一元命题函数，R(x,y)为二元命题函数。一般地，从个体域到{T,F}的函数H()成为n元命题函数。谓词是从个体域到{T,F}的映射。谓词是一元或多元的命题函数。 （二）谓词公式 递归定谓词公式如下： （1）命题变元是谓词公式； （2）原子谓词公式是谓词公式； (3)如果是谓词公式，则也是谓词公式； （4）如果和是谓词公式，则,,, 也是谓词公式; （5）如果是谓词公式，且中不包含和，则, 也是谓词公式; (6)公式仅限于由（1）到（5）所得到的； （三） 谓词逻辑的等价式 定义：两个谓词公式，如果对任意指派，他们所得的真值，则这两个谓词公式叫做逻辑等价式，记做或。 由上述定义与普遍有效公式的定义，有如下定理： 定理1 当且仅当为普遍有效公式。 定理2 若，为任一含的谓词公式，则（）=（）。 命题逻辑中逻辑等价式的移入： 对命题逻辑中的逻辑等价式：。由于为重言式，当将命题变元带以谓词公式，称为谓词公式。 举几个例子： （1）。 （2） （3） ； （4） ； ； 二．谓词逻辑在数学教育学中的应用 谓词逻中应用广泛，下面我举几个例子： 例一： 设为空集，A为任意集合，求证 证明方法一： （以与，带入重言式中的与） （） 空集定义 （3）全称量词消去 （4），（2）分离 即 （5）全称量词引入 证明方法二：（用反证法） 假设存在集合，使，即 据存在量词消去规则，则存在某一元素a使得，由合简规则，这与空集的定义矛盾，从而该命题得证。 我们可以利用此方法证明以下