逻辑学北大精品课1

《逻辑学北大精品课1》由会员分享，可在线阅读，更多相关《逻辑学北大精品课1（59页珍藏版）》请在金锄头文库上搜索。

1、A Course in Logic,主讲人：何向东,-进入-,逻辑学教程,第四章 谓词逻辑,第一节 谓词逻辑概述,2019年3月1日星期五,3,命题逻辑和谓词逻辑,命题逻辑：不分析简单命题内部结构，讨论关于联结词的推理理论。例如： 如果某甲作案，那么他一定有作案动机。 某甲没有作案动机。 所以，某甲没有作案。 谓词逻辑：分析简单命题的内部结构，讨论关于量词的推理理论。例如： 所有的作案者都有作案动机。 某甲没有作案动机。 所以，某甲不是作案者。,2019年3月1日星期五,4,命题逻辑和谓词逻辑,研究推理形式的有效性时，把命题当做不可分的逻辑单位有时是不够的。例如： （1）张三的朋友都是李四的朋

2、友，王五不是李四的朋友。所以，王五不是张三的朋友。 这个推理的形式在命题逻辑中表示为：P，q r 这个推理事实上是有效的。但仅用命题逻辑的理论不能表明它是有效的推理。 （2）所有人都会死，张三是人，所以，张三会死。 这是一个正确的三段论推理。但仅用命题逻辑的理论也不能表明它是有效推理。 因此，要研究涉及量词的推理，仅用命题逻辑的理论是不够的。只有在命题逻辑的基础上发展谓词逻辑，才能解决这类推理的有效性问题。,2019年3月1日星期五,5,个体词和谓词,谓词逻辑就是把命题分解为个体词、谓词、量词以及联结词的逻辑系统。例如： （3）我是学生。 （4）王五不是李四的朋友。 个体词：表示个体的语词，如

3、：“我”、“王五” 、“李四”。 谓词：用来说明个体词的性质或关系的语词。 如例（3）中“是学生”是一元谓词，例（4）“是的朋友”是二元谓词。类似的，还有三元谓词，如“在和之间”以及n元谓词。,2019年3月1日星期五,6,个体词和谓词的符号化,个体常项：表示一定范围内确定的个体，记为小写的：a,b,c,； 个体变元：表示一定范围内不确定的个体，记为小写的： x,y,z,； 个体域也称论域：个体变元的变化范围，记为：D。 谓词符号：表示性质或关系的符号，记为大写：D、E、F、G； 一元谓词公式，记为：Dx，Ex，Fx，； 二元谓词公式，记为：Dxy，Exy，Hxy，Rxy，； 三元谓词公式，记

4、为：Gxyz，Bxyz，Pxyz，Kxyz，； n元谓词公式，记为：Sx1x2xn，Wx1x2xn，。 个体词和谓词的符号化实例: 用a表示“张三”，用Dx表示一元谓词“会死” ，则命题“张三会死”可表示为：Da。 如是Fxy表示二元谓词“是的朋友”，那么：Fab表示“a是b的朋友”;Fab表示“a不是b的朋友”。,2019年3月1日星期五,7,开语句,P：是紫色的。 Px：x是紫色的。 让开语句有真值的方法： （1）用个体常项代替个体变元。 用a表示“这朵玫瑰花”，则Pa表示语句“这朵玫瑰花是紫色的”。 （2）对个体变元进行量化。 例如:命题“存在玫瑰花是紫色的”为真。,没有真假的命题函数，

5、即从个体到真值的函数。例如:,2019年3月1日星期五,8,量词,全称量词：指称论域D中个体的全部。 例如：所有，任何，每一个，。 存在量词：指称论域D中个体至少有一个存在。 例如：存在，有，有些，。 符号化的量词： 全称量词：所有x，任何x，均记为：x。 存在量词：有x，存在x，均记为：x。 全称命题：含有全称量词的命题。 特称(存在)命题：含有存在量词的命题。,表示论域D中个体数量的语词,2019年3月1日星期五,9,命题的形式化,（1）凡事物都是发展的。 用x表示个体词，用D表示“是发展的”，形式化为：xDx （2）凡是自然数都大于零。 用N表示“是自然数”，用E表示“大于零”，形式化为

6、：x(NxEx） （3）所有大学生都不是儿童。 用S表示“是大学生”，用C表示“是儿童”，形式化为：x(SxCx) （4）有的大学生是儿童：x(SC) （5）小李没有同任何人吵架。 a：小李；：是人，D：同吵架，形式化为：x（xax） （6）有些大一学生认识小李。 a：小李；F ：是大一学生，R：认识，形式化为： x(FxRxa),2019年3月1日星期五,10,命题的形式化,在对以上命题形式化时，没有限制论域，即论域是全域。我们也可在一定的范围内讨论问题，因些个体变元的变域往往被限制在某个特定的范围内。 （7）有的学生（）作对（）所有试题（） 不限制论域：x（xy(TyRxy)） 限制论域：

7、x的变域:X=学生； y的变域:Y=试题 则形式为: xyRxy 一阶逻辑：量词是只对命题中的个体变元进行量化，而不对谓词变元进行量化。 高阶谓词：不仅对个体变元而且对谓词变元进行量化。,第四章 谓词逻辑,第二节 一阶语言及其语义解释,2019年3月1日星期五,12,一阶语言L,（1）初始符号 个体变元符号：x,y,z,；x1,x2,； 若干（可以为0个）个体常项符号：a,b,c 若干（至少一个）谓词符号：D,E,F,G,R， 联结词符号：,； 量词符号：,； 辅助符号：括号：（，）；逗号：，。 （2）形成规则：包括项的形成规则和公式的形成规则。 项的形成规则：单个的个体变元（v，u，w，）和

8、个体常项（a，b，c，）称为项。,2019年3月1日星期五,13,一阶语言L,公式的形成规则： 1、如果R是n元谓词（n1）,t1tn是n个项，则Rt1tn是公式（原子公式）； 2、如果A是公式，则A是公式； 3、如果A和B是公式，则AB、AB、AB是公式； 4、如果A是公式，v是个体变元，则vA和vA是公式（vA称为全称公式；vA称为存在（特称）公式）。 一阶语言L 的一个符号串是（合式）公式，当且仅当它符合以上形成规则。 一阶语言L 的全体（合式）公式，记为Form（L ）。 一阶语言L 是形式语言L 的扩充。 （3）定义：用来表示符号串的缩写。 如：AB=df (AB)(BA)。,201

9、9年3月1日星期五,14,量词的辖域,量词的辖域：量词的作用范围。 量词的辖域可定义为：如果B是vB和vB的子公式，则称B为量词v和v的辖域。 在公式中，量词的辖域是该量词及紧接该量词的最短公式。 带横线部分指明了存在量词的辖域。 (1)xxx (2)x（xyyy） (3)xy（xyxz（xzyz）,2019年3月1日星期五,15,约束变元和自由变元,变元的约束出现：一个变元在公式里的出现是约束的，当且仅当，这种出现是在采用该变元的量词的辖域内。 变元的自由出现：一个变元在公式里的出现是自由的,当且仅当，该变元的出现不是约束的。 约束变元就是约束出现的变元；自由变元就是自由出现的变元。 例如：

10、在 xxx中，变元x出现了三次，前两次出现是在量词x的辖域中，因而是约束出现的，第三次是自由出现的。,2019年3月1日星期五,16,自由变元的代入,如果公式A中有自由变元v，则把该公式记为：A(v)。以个体词t代入A(v)中的v，则记为：A(v/t)。例如： （1）对于公式PxQx，用A(x)来表示x是自由变元：A(x)：PxQx； （2）对于公式x(QxRxy)，用B(y)来表示y是自由变元：B（y）：x(QxRxy)；（3）用个体变元y代替A(x)中的自由变元：A(x/y)：PyQy； （4）用常元a代替A(x)中的自由变元：A(x/a)：PaQa。 自由变元的代入规则： (1) 、代换

11、必须处处进行 A(x)：PxQx 以y代换A(x)中的自由变元x： A(x/y)：PyQy （正确代换） A(x/y)：PxQy （错误代换） (2) 、代换不能改变量词的约束关系 B(y)：x(QxRxy) 以个体变元来代换B(y)中的自由变元y： B(y/z)：x(QxRxz) （正确代换） B(y/x)：x(QxRxx)（错误代换）,2019年3月1日星期五,17,一阶语言L 的语义解释,一、原子公式的解释： 给定一个个体域D，将个体常项解释为个体域中特定的个体， 将谓词符号解释成这个个体域中的性质或这个个体域上的关系，则原子公式是否为真可以归结为某个个体是否具有某种性质或某些个体是否具

12、有某种关系。 二、全称公式和特称公式的解释： 在给定的一个解释下，vA为真要求将v解释成个体域中任何个体时A都为真，而vA为真，则只要将v解释成个体域中至少一个个体时A为真。 严格地讲，一阶语言的语义解释就是在把个体词解释成为个体域中的个体、把谓词解释为个体域中的性质或个体域上的关系的基础上，确定公式的真值即给公式赋值。,2019年3月1日星期五,18,一阶语言L 的语义解释,语义解释也称为模型，记为，包括以下内容： (1)一个个体变元的取值范围非空集合D(论域、个体域) (2)对每个个体常项a，指定D中一个确定的个体a； (3)对每个n元谓词符号R，指定D上的一个n元关系R； 在一个解释（模

13、型）中，每个闭公式有确定的真值。 例如：D=自然数，个体常项a解释为4（a=4）；一元谓词P解释为 “是偶数（P）”；二元谓词G解释为“”（G=）；则： Pa的解释是“4是偶数”（真命题）； xPx的解释是“所有自然数是偶数”（假命题）； xyGyx的解释是“对所有自然数总存在大于它的自然数”(真命题)。,2019年3月1日星期五,19,指派和赋值,个体变元与它所指称的对象通过指派建立了确定的联系。 一个模型上的指派有无穷多个。 原子公式的值可以根据模型和指派确定。 设是模型上的指派，v是变元，dD。所谓模型上与指派相关联的指派(v/d)是指如下定义的指派： 如果uv,则(v/d)(u)=(u

14、)；如果u=v，则(v/d)(u)=d。 不管原指派中v的值是什么，新指派(v/d)总是把v指派成d，而其余变元的值都不变。显然，如果d=(v)，则(v/d)=，即自己也是与其自身相关联的指派。,给每个变元指定一个个体的过程称作指派，记为,2019年3月1日星期五,20,谓词逻辑的每个项和公式在赋值下都有确定的值。 项的基本语义定义: 设=,是一个赋值，t是任意的项，t在下的值(t)是论域D中的个体，具体定义如下： (1)如果t是个体变元v，则(v)=(v)； (2)如果t是个体常项a，则(a)=a。,模型和上的一个指派确定一个赋值，记为=,2019年3月1日星期五,21,公式的基本语义定义,

15、设=,是一个赋值，A是任意的公式，A在下的值记为(A)。（A）=T，或者 （A）=F。定义如下： （1）如果A是原子公式R(t1tn)，则(A)=T当且仅当（t1）,，(tn)R； （2）如果A是B，则（A）=T当且仅当（B）=F； （3）如果A是BC，则（A）=T当且仅当（B）=T且（C）=T； （4）如果A是BC，则(A)=T当且仅当(B)=T或(C)=T； （5）如果A是BC，则(A)=T当且仅当(B)=F或(C)=T； （6）如果A是vB，则(A)=T当且仅当对任何dD,都有(v/d)(B)=T； （7）如果A是vB，则(A)=T当且仅当存在dD,使得(v/d)(B)=T。,2019年3月1日星期五,22,公式的基本语义定义,基本语义解释的直观意义 第（1）条只不过是说原子公式R（t1tn）为真，只要t1，tn所指对象具有D上的关系R。 第（2）（5）条只不过说对联结词的解释与第二章中的解释相同。 第（6）条不过是说 vB为真就是v的值取遍论域时B的值总为真。 第（7）条也不过是说vB为真就是论域中至少有一个个体使B为真。,2019年3月1日星期五,23,公式的基本语义定义,设一阶语言L 包括二元谓词符号G，个体常项a和b，取模型，使得个体