谓词逻辑的基础概念及其应用
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
谓词逻辑的基础概念及其应用
张谦惠
摘要:数学逻辑学是研究数学教育中所需的逻辑知识及如何应用于数学教育和解决数学教育问题的一门学科。本文主要讨论谓词逻辑的基础概念及其在数学教育中的应用。谓词逻辑分很多种,而这里要研究的是狭义谓词逻辑或称一阶谓词逻辑。研究它的三个基础知识及其在教育学中的应用。
关键词:谓词的概念公式等价式应用
数学逻辑学是研究数学教育中所需的逻辑知识及如何应用于数学教育和解决数学教育问题的一门学科。是一门逻辑学与数学教育学相结合的边缘学科,属于应用逻辑,其核心内容属于数理统计。它的基本内容主要分为命题逻辑,简单命题的分解与概念,谓词逻辑和归纳逻辑及其在数学教育中的应用。
我们为进一步讨论命题和推理需要把简单命题分解为个体词,谓词和量词。谓词逻辑就是研究它们的形式结构,逻辑性质,谓词关系及从中导出的规律。而本文主要讨论谓词逻辑的基础概念及其在数学教育中的应用。
谓词逻辑包括命题逻辑,它除了命题变元外,还有个体变元和谓词变元等。如果量词只作用于个体变元,并且谓词都是关于个体的性质和关系,而不涉及关系的性质和关系之间的关系,那么这样限制下的谓词逻辑称为狭义谓词逻辑或一阶谓词逻辑,它是最基础的谓词逻辑。
本文即将讨论谓词的概念,公式,谓词逻辑的等价式及其在教育学中的应用实例。
一.谓词逻辑的预备知识
㈠个体(主词)与谓词的概念
简单命题可分解为个体与谓词,其中个体又叫主词。
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为个体变元。则为谓词填式,R(x,y)为谓词命名式。例如:
为真,F(3)为假,R(5,2)为真,可见,F(3),R(5,2)为命题。
4.命题函数:为以个体域(实数集)为定义域,以命题为值的映射(函数)。由于命题在{T,F}集上取值,因此F(x), R(x,y)为从个体域(实数集)到{T,F}上的函数,称之为命题函数(或命题函项或逻辑函数),其中F(x)为一元命题函数,R(x,y)为二元命题函数。一般
地,从个体域到{T,F}的函数H(
1,,
n
X X
)成为n元命题函数。谓词是从个体域到{T,F}的映射。谓词是一元或多元的命题函数。
(二)谓词公式
递归定谓词公式如下:
(1)命题变元是谓词公式;
(2)原子谓词公式是谓词公式;
(3)如果α是谓词公式,则α也是谓词公式;
(4)如果α和是谓词公式,则α∧β,α∨β,α→β, α↔β也是谓词公式;
(5)如果α是谓词公式,且α中不包含∀和∃,则∀α, ∃α也是谓词公式;
(6)公式仅限于由(1)到(5)所得到的;
n-个个体具有性质F”。结论二:“至少有n个个体具有性质F”的否定,等价于“至多有1
例四:
把1600份材料分装在100个口袋里,求证不管怎样装,至少有4个口袋里所装的材料份数一样多。
证明:用反证法,假设并非“至少有4个口袋里所装的材料份数一样多”,由结论得“至多有3个口袋的材料一样多”。
考虑到100=33 ⨯3+1,从所需材料份数最少的情况出发,则有:
3个口袋各装0份材料;
3个口袋各装1份材料;
。。。。。。。。。
3个口袋各装32份材料;
3个口袋各装33份材料;
显然,这样分装在反设条件下所需的材料最少,共需:
3⨯(0+1+2+。。。+32)+33=1617(份)
但现在只有1600份材料。这一矛盾就证明了不管怎样装,至少有4个口袋里所装的材料份数一样多。
参考文献:
[1] 王玉文,鲍曼《数学逻辑基础》,哈尔滨师范大学,2010
[2] 王宽钧≤数理逻辑引论≥,北京大学出版社,1982
[3] 徐利治≤数学方法论教程≥,江苏教育出版社,1992
The Basic Concept of Predicate Logic and its Applications
Zhang Qianhui
Abstract: mathematical logic required education in the logical knowledge and how to apply in mathematics education and solve mathematics problems of education subject. This paper mainly discusses the basic concept of predicate logic in mathematics education and its application. Predicate logic divides a lot of kinds, and here to study is special predicate logic or says the first-order predicate logic. The three basic research and application of knowledge in pedagogy.
Keywords:the concept of predicate; formula of predicate; equivalent of predicate; application of predicate