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

《谓词逻辑的基础概念及其应用》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、谓词逻辑的基础概念及其应用王春旭哈尔滨师范大学摘要：数学逻辑学是研究数学教育中所需的逻辑知识及如何应用于数学教育和解决数学教育问题的一门学科。本文主要讨论谓词逻辑的基础概念及其在数学教育中的应用。谓词逻辑分很多种，而这里要研究的是狭义谓词逻辑或称一阶谓词逻辑。研究它的三个基础知识及其在教育学中的应用。关键词：谓词的概念公式等价式应用数学逻辑学是研究数学教育中所需的逻辑知识及如何应用于数学教育和解决数学教育问题的一门学科。是一门逻辑学与数学教育学相结合的边缘学科，属于应用逻辑，其核心内容属于数理统计。它的基本内容主要分为命

2、题逻辑，简单命题的分解与概念，谓词逻辑和归纳逻辑及其在数学教育中的应用。我们为进一步讨论命题和推理需要把简单命题分解为个体词，谓词和量词。谓词逻辑就是研究它们的形式结构，逻辑性质，谓词关系及从中导出的规律。而本文主要讨论谓词逻辑的基础概念及其在数学教育中的应用。谓词逻辑包括命题逻辑，它除了命题变元外，还有个体变元和谓词变元等。如果量词只作用于个体变元，并且谓词都是关于个体的性质和关系，而不涉及关系的性质和关系之间的关系，那么这样限制下的谓词逻辑称为狭义谓词逻辑或一阶谓词逻辑，它是最基础的谓词逻辑。本文即将讨论谓词的概念，

3、公式，谓词逻辑的等价式及其在教育学中的应用实例。一．谓词逻辑的预备知识㈠个体（主词）与谓词的概念简单命题可分解为个体与谓词，其中个体又叫主词。1．个体：指能独立存在的事物，它可以是具体的，可以是抽象的。如张三，。。。。。。由个体组成的集合成为个体域或论域。所由个体组成的个体域称为全总个体域。如果变元在某个体域中取值，则称为个体变元。2.谓词：指个体的性质或若干个个体之间的关系。前者是一元谓词，后者当个体数为n时为n元谓词。谓词变元：可以在由谓词变元组成的集合中取值的变元。单独一个谓词是改有意义的。如：。。。。。。是无理数

4、，。。。。。。大于。。。。。。，它们必须与个体结合在一起才能明确意义，像“是无理数”（真），“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(

5、),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)如果是谓词公

6、式，则也是谓词公式；（4）如果和是谓词公式，则,,,也是谓词公式;（5）如果是谓词公式，且中不包含和，则,也是谓词公式;(6)公式仅限于由（1）到（5）所得到的；（三）谓词逻辑的等价式定义：两个谓词公式，如果对任意指派，他们所得的真值，则这两个谓词公式叫做逻辑等价式，记做或。由上述定义与普遍有效公式的定义，有如下定理：定理1当且仅当为普遍有效公式。定理2若，为任一含的谓词公式，则（）=（）。命题逻辑中逻辑等价式的移入：对命题逻辑中的逻辑等价式：。由于为重言式，当将命题变元带以谓词公式，称为谓词公式。举几个例子：（1）。（

7、2）（3）；（4）；；二．谓词逻辑在数学教育学中的应用谓词逻中应用广泛，下面我举几个例子：例一：设为空集，A为任意集合，求证证明方法一：1)（以与，带入重言式中的与）（）2)3)空集定义4)（3）全称量词消去5)（4），（2）分离6)即（5）全称量词引入证明方法二：（用反证法）假设存在集合，使，即据存在量词消去规则，则存在某一元素a使得，由合简规则，这与空集的定义矛盾，从而该命题得证。我们可以利用此方法证明以下题目：求证:利用逻辑语言把一些数学命题表达出来，往往可以看出它们之间的相互联系，发现证明的线索，甚至很容易达到证

8、明的目的。例二：如果，那么至少有一个，使得，且至少有一个，使得。首先用逻辑语言表达该命题。此时，取个体域为个实数集，即为谓词公式为谓词公式，而为原子谓词公式，这里都是谓词。于是该命题可表示为=它等价于（而它又等价于证明：因为，所以因此，同理可证。我们可以利用此方法证明以下题目：求证：若，则至少有一个，使得，且至少有一