高级数理逻辑第11讲全解
- 格式:doc
- 大小:228.00 KB
- 文档页数:8
数理11详解-概述说明以及解释1.引言1.1 概述数理11是指数学和物理两个学科的结合,通过运用数学的方法和原理来解决物理问题。
它涵盖了许多数学和物理的基本概念和应用,是理解和掌握数学和物理的重要基础。
在数理11中,学生将学习到一些基本的数学概念,如代数、几何、函数、微积分等。
这些数学概念在物理学中有广泛的应用,可以帮助我们分析和解释自然界中的各种现象和规律。
同时,数理11也会介绍一些物理学的基本概念,如力、能量、运动、电磁学等,通过数学的方法来描述和解决物理问题。
通过学习数理11,学生不仅可以理解数学和物理的基本原理,还可以培养一种科学思维和解决问题的能力。
数理11所学到的数学和物理的知识与技能也是许多其他高级学科和职业所必需的基础。
本篇文章将介绍数理11的概念、应用和挑战,旨在帮助读者更好地理解和应用数理11的知识。
在接下来的章节中,我们将分别对数理11的概念、应用和挑战进行详细的讨论,并对数理11的重要性和未来发展进行总结和展望。
希望通过本篇文章的阅读,读者能够加深对数理11的了解,并在实际学习和应用中更好地运用数理11的知识和方法。
数理11不仅是学习数学和物理的基础,也是培养科学素养和解决实际问题的重要途径。
1.2 文章结构文章结构的部分内容可以包括以下内容:本文将从三个方面对数理11进行详解,分别是数理11的概念、数理11的应用和数理11的挑战。
下面将对这三个方面进行具体介绍。
首先,在第二部分"2.正文"中,将详细阐述数理11的概念。
我们将探讨数理11的定义、发展历程以及其在数理领域的重要性。
通过对数理11的深入理解,读者将能够清晰地把握数理11的基本概念和相关知识。
接下来,在正文的第二个部分,即2.2 数理11的应用,我们将介绍数理11在实际应用中的重要性。
我们将通过实例和案例的分析,展示数理11在各个领域的应用情况,包括但不限于自然科学、工程技术和社会经济等。
通过这一部分的阐述,读者将能够深刻认识到数理11在现代社会中的广泛应用和重要性。
细说“命题及其关系“有关命题及其关系,已经在近来几年好多省市的试卷中出现,经常和其他知识结合起来进行综合观察,多以选择题和填空题形式出现,偶而也有解答题。
学习命题及其关系,应注意理解一个命题和其他三个命题之间的关系,注意正确区分否命题与命题的否认,理解互为逆否命题之间的等价性及其在证明中的应用。
一、知识点精讲1.命题一般地,,我们把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。
其中判断为真的命题叫做真命题,判断为假的命题叫做假命题。
说明:〔 1〕其实不是任何语句都是命题,只有那些能判断真假的语句才是命题。
一般来说,疑问句、祈使句、感想句都不是命题;〔 2〕一个命题,一般可用一个小写英文字母表示,如:p 、 q 、r等。
2.命题的结构在数学中,拥有“假设 p 那么 q 〞这种形式的命题是常有的,我们把这种形式命题中的p 叫做命题的条件,q 叫做命题的结论。
数学中有一些命题诚然表面上不是“假设p 那么 q 〞的形式,但是把它的表述作合适改变,也可以写成“假设p 那么 q 〞的形式。
3.四种命题交换原命题的条件和结论,所得的命题是抗命题;同时否认原命题的条件和结论,所得的命题可否命题;交换原命题的条件和结论,并且同时否认,所得的命题是逆否命题。
这些结论用于写一个命题的抗命题、否命题与逆否命题十分方便。
4.四种命题的形式用 p 和 q 分别表示原命题的条件和结论,用p 、q 分别表示p 和 q 的否认,四种形式就是:原命题:假设p ,那么 q ,即 p q ;抗命题:假设 q ,那么 p ,即 q p ;否命题:假设p 那么q ,即 p q ;逆否命题:假设 q 那么 p ,即 qp 。
5.四种命题之间的关系6 .四种命题间真假命题的判断一般地,四种命题的真假性,有且仅有下面四种情况:原命题 抗命题 否命题 逆否命题 真 真 真 真 真 假 假 真 假 真 真 假 假假假假说明:〔 1〕两个命题互为逆否命题,它们有相同的真假性;〔 2〕两个命题互为抗命题或互否命题,它们的真假性没有关系。
幼儿园中班逻辑高第11课8月底弥漫着开学气息,9月1日就可大声说:“家有小学生一枚!”。
Booker的求学之路启程了,门打开了,请随意发挥吧。
作为家长莫名有点紧张感,毕竟素质(应试)教育开始了。
不过,对他们来说,一切都是好奇和兴奋,连教室的空气都是新鲜的,还有新书的清香味。
这次要做的火柴棒游戏,相对小朋友来说比较复杂和难懂。
但幼升小考试和小学阶段,火柴棒的题目又作为逻辑思维中必考的一道题目,因为它的复杂性导致很多孩子,甚至家长看到这类题目都头大,无从下手。
趁着小学开学之际,我对着市面上的资料和文章进行了全面、详细的研究,也一起学习了火柴棒的网课,理解透后整理的文章。
现在请跟着Smart一起,由易入难解开火柴棒的神秘面纱,让复杂的问题迎刃而解。
好了,先来一道火柴棒的题目来给家长热热身。
1.课程引入火柴棒有什么作用,一般什么情况下会使用他们?先给孩子们提这个问题,引导他们去想象。
比如它可以生火、搭建、玩游戏、点生日蛋糕、计数等等,火柴棒是靠摩擦起火的,就像远古时候燧人氏发明了砖木取火一样。
火柴棒虽然是小小的个子,但是可以做很多不可思议的事情,如果没有合理使用可能造成很大的破坏力。
对我们小朋友来说,火柴棒可以摆出很多好玩的图形和数字,里面有无穷的奥秘值得探索。
2.火柴棒的分堆计数孩子们可以使用火柴棒进行计数游戏,理解分组的概念,理解一个大数字分组后更加容易识别。
具体如下:给每个孩子50根火柴棒,让孩子分别以2、5、10三个一堆分别把50个火柴摆出来。
比如2根火柴棒一堆,那么就有25堆,5根火柴棒一堆,就有10堆,尤其是以5为堆,熟悉5、15、20、25、45等对认识时钟的刻度有很大的帮助。
从这个活动中,孩子们可以理解每组分的数量越大,总堆数就少,就越容易理解和计算。
比如5*10就是50,孩子无需了解乘法概念,只需要数一下每堆数量、总共几堆。
所以乘法背后其实就是加法的不断累加。
相反,均分其实就是除法的一种形式。
2013年高考第一轮复习数学北师(江西版)理第十一章11.3 合情推理与演绎推理考纲要求1.了解合情推理的含义,能利用归纳和类比等进行简单的推理,了解合情推理在数学发现中的作用.2.了解演绎推理的重要性,掌握演绎推理的基本模式,并能运用它们进行一些简单推理.3.了解合情推理和演绎推理之间的联系和差异.知识梳理1.合情推理主要包括__________和__________.合情推理的过程:(1)归纳推理:由某类事物的________具有某些特征,推出该类事物的__________都具有这些特征的推理,或者由________概括出__________的推理,称为归纳推理(简称归纳).简言之,归纳推理是由部分到整体、由个别到一般的推理.归纳推理的基本模式:__________________,结论:∀d∈M,d也具有某属性.(2)类比推理:由________具有某些类似特征和其中________的某些已知特征,推出________也具有这些特征的推理称为类比推理(简称类比),简言之,类比推理是由______到______的推理.类比推理的基本模式:A具有属性a,b,c,d;B______________;结论:B具有属性d′.(a,b,c,d与a′,b′,c′,d′分别相似或相同)2.演绎推理:从______的原理出发,推出某个特殊情况下的结论,我们把这种推理称为演绎推理.简言之,演绎推理是由______到______的推理.(1)三段论是演绎推理的一般模式,包括:①大前提——已知的一般原理;②小前提——所研究的特殊情况;③结论——根据一般原理,对特殊情况做出的判断.(2)“三段论”可以表示为①大前提:M是P.②小前提:S是M.③结论:S是P.用集合说明:即若集合M的所有元素都具有性质P,S是M的一个子集,那么S中所有元素也都具有性质P.基础自测1.“金导电、银导电、铜导电、锡导电,所以一切金属都导电”.此推理方法是( ).A.演绎推理 B.归纳推理 C.类比推理 D.以上均不对2.某同学在电脑上打下了一串黑白圆,如图所示,○○○●●○○○●●○○○…,按这种规律往下排,那么第36个圆的颜色应是( ).A.白色 B.黑色 C.白色可能性大 D.黑色可能性大3.观察(x2)′=2x,(x4)′=4x3,(cos x)′=-sin x,由归纳推理可得:若定义在R 上的函数f(x)满足f(-x)=f(x),记g(x)为f(x)的导函数,则g(-x)=( ).A.f(x) B.-f(x) C.g(x) D.-g(x)4.在平面上,若两个正三角形的边长的比为1∶2,则它们的面积比为1∶4.类似地,在空间中,若两个正四面体的棱长的比为1∶2,则它们的体积比为__________.思维拓展合情推理与演绎推理有什么联系与差异?提示:总体来说,从推理形式和推理所得结论的正确性上讲,二者有差异;从二者在认识事物的过程中所发挥的角度考虑,它们又是紧密联系、相辅相成的.合情推理得到的结论需要演绎推理的验证,而演绎推理的思路一般是通过合情推理获得的.一、归纳推理【例1】观察:①sin 210°+cos 240°+sin 10°cos 40°=34;②sin 26°+cos 236°+sin 6°cos 36°=34.由上面两题的结构规律,你能否提出一个猜想?并证明你的猜想.方法提炼1.归纳推理的特点:(1)归纳推理是由部分到整体、由个别到一般的推理;(2)归纳的前提是部分的、个别的事实,因此归纳推理的结论超出了前提所界定的范围,其前提和结论之间的联系不是必然的,而是或然的.所以“前提真而结论假”的情况是可能发生的;(3)人们在进行归纳推理时,总是先收集一定的事实材料,有了个别性的、特殊性的事实作为前提,然后才能进行归纳推理,因此归纳推理要在观察和试验的基础上进行;(4)归纳推理能够发现新事实、获得新结论,是做出科学发现的重要手段.2.归纳推理的一般步骤:首先,对有限的资料进行观察、分析、归纳整理;然后,在此基础上提出带有规律性的结论,即猜想;最后,检验这个猜想.请做[针对训练]2二、类比推理【例2-1】在平面几何中,△ABC 的内角平分线CE 分AB 所成线段的比为AE EB =AC BC,把这个结论类比到空间:在三棱锥A -BCD 中(如图所示),平面DEC 平分二面角A -CD -B 且与AB 相交于点E ,则得到的类比的结论是__________.【例2-2】在△ABC 中,AB ⊥AC ,AD ⊥BC 于点D .求证:1AD 2=1AB2+1AC2.那么在四面体ABCD 中,类比上述结论,你能得到怎样的猜想,并说明理由.方法提炼1.类比推理的特点:(1)类比推理是由特殊到特殊的推理;(2)类比推理是从人们已经掌握了的事物的特征,推测正在被研究中的事物的特征,所以类比推理的结果具有猜测性,不一定可靠;(3)类比推理以旧的知识作基础,推测新的结果,具有发现的功能;(4)由于类比推理的前提是两类对象之间具有某些可以清楚定义的类似特征,所以进行类比推理的关键是明确地指出两类对象在某些方面的类似特征.2.类比推理的步骤:首先,找出两类对象之间可以确切表述的相似特征;然后,用一类对象的已知特征去推测另一类对象的特征,从而获得一个猜想;最后,检验这个猜想.类比是科学研究最普遍的方法之一.在数学中,类比是发现概念、方法、定理和公式的重要手段,也是开拓新领域和创造新分支的重要手段.类比在数学中应用广泛,数与式、平面与空间、一元与多元、低次与高次、相等与不等、有限与无限之间有不少结论,都是先用类比法猜想,而后加以证明的.请做[针对训练]3三、演绎推理【例3】如图,已知直四棱柱ABCD-A1B1C1D1的底面是直角梯形,AB⊥BC,AB∥CD,E,F 分别是棱BC,B1C1上的动点,且EF∥CC1,CD=DD1=1,AB=2,BC=3.(1)证明:无论点E怎样运动,四边形EFD1D都为矩形;(2)当EC=1时,求几何体A-EFD1D的体积.方法提炼1.演绎推理是由一般性的命题推出特殊性命题的一种推理模式.2.演绎推理的一般模式是由大前提、小前提推出结论的三段论推理.三段论推理常用的一种格式,可以用以下公式来表示:如果b⇒c,a⇒b,则a⇒c.3.演绎推理是一种必然性推理.演绎推理的前提与结论之间有蕴涵关系,因而,只要前提是真实的,推理的形式是正确的,那么结论必定是真实的.错误的前提可能导致错误的结论.三段论推理也可用集合论的观点来解释:若集合M的所有元素都具有性质P,S是M的子集,那么S中所有元素也都具有性质P.三段论的公式中包含三个判断:第一个判断称为大前提,它提供了一个一般性的原理;第二个判断叫小前提,它指出了一个特殊情况;这两个判断联合起来,揭示了一般原理和特殊情况的内在联系,从而产生了第三个判断结论.请做[针对训练]4考情分析从近几年的高考试题来看,合情推理、演绎推理等问题都是高考的热点,归纳、类比推理大多数出现在填空题中,为中低档题,突出了“小而巧”,主要考查类比、归纳推理能力.在数学证明中,合情推理只能为我们证明问题提供思路和方向,通常由已知条件归纳出一个结论,或运用类比的形式给出某个结论,再运用演绎推理进行证明.针对训练1.(2011陕西高考,理13)观察下列等式1=12+3+4=93+4+5+6+7=254+5+6+7+8+9+10=49……照此规律,第n个等式为__________.2.(2011山东高考,理15)设函数f(x)=xx+2(x>0),观察:f1(x)=f(x)=xx+2,f2(x)=f(f1(x))=x3x+4,f3(x)=f(f2(x))=x7x+8,f4(x)=f(f3(x))=x15x+16,……根据以上事实,由归纳推理可得:当n∈N+且n≥2时,f n(x)=f(f n-1(x))=__________.3.设面积为S的平面四边形的第i条边的边长记为a i(i=1,2,3,4),P是该四边形内任意一点,P 点到第i 条边的距离记为h i ,若a 11=a 22=a 33=a 44=k ,则 i =14(ih i )=2Sk .类比上述结论,体积为V 的三棱锥的第i 个面的面积记为S i (i =1,2,3,4),Q 是该三棱锥内的任意一点,Q 点到第i 个面的距离记为H i ,则相应的正确命题是:若S 11=S 22=S 33=S 44=k ,则__________.4.已知函数f (x )=ax +1x +2在区间(-2,+∞)上是递增的,求实数a 的取值范围.参考答案基础梳理自测 知识梳理1.归纳推理 类比推理 (1)部分对象全部对象 个别事实 一般结论 a ,b ,c ∈M 且a ,b ,c 具有某种属性 (2)两类对象 一类对象 另一类对象 特殊 特殊 具有属性a ′,b ′,c ′ 2.一般性 一般 特殊 基础自测1.B 解析:由个别到一般的推理叫归纳推理.2.A 解析:由图知,图形是三白二黑的圆周而复始相继排列,是一个周期为5的三白二黑的圆列,因为36÷5=7余1,所以第36个圆应与第1个圆颜色相同,即白色.3.D 解析:由已知的三个求导式可归纳推理得到偶函数的导函数是奇函数,又f(x )是偶函数,所以g (x )是奇函数,故g (-x )=-g (x ).4.1∶8 解析:∵两个正三角形是相似的三角形, ∴它们的面积之比是相似比的平方.同理,两个正四面体是两个相似几何体,体积之比为相似比的立方. ∴它们的体积比为1∶8. 考点探究突破【例1】解:猜想sin 2α+cos 2(α+30°)+sin αcos(α+30°)=34.证明:左边=sin 2α+cos(α+30°)[cos(α+30°)+sin α]=sin2α+⎝⎛⎭⎪⎫32cos α-12sin α⎝ ⎛ 32cos α+⎭⎪⎫12sin α =sin 2α+34cos 2α-14sin 2α=34=右边.所以,猜想是正确的. 【例2-1】BE EA =S △BCD S △ACD 解析:易知点E 到平面BCD 与平面ACD 的距离相等,故V EBCD V EACD =BEEA=S △BCDS △ACD. 【例2-2】证明:如图所示,由射影定理,得AD 2=BD ·DC ,2AB =BD·BC ,AC 2=BC·DC ,∴1AD2=1BD ·DC=BC 2BD ·BC ·DC ·BC =BC 2AB 2·AC 2. 又∵BC 2=AB 2+AC 2,∴1AD 2=AB 2+AC 2AB 2·AC 2=1AB 2+1AC 2. ∴1AD2=1AB2+1AC 2.猜想:类比AB ⊥AC ,AD ⊥BC ,猜想四面体ABCD 中, AB ,AC ,AD 两两垂直,AE ⊥平面BCD ,则1AE 2=1AB 2+1AC 2+1AD2.下面证明上述猜想成立.如下图所示,连接BE 并延长交CD 于点F ,连接AF .∵AB ⊥AC,AB ⊥AD ,AC ∩AD =A , ∴AB ⊥平面ACD .而AF ⊂平面ACD ,∴AB ⊥AF . 在Rt △ABF 中,AE ⊥BF , ∴1AE 2=1AB 2+1AF2.同理可得在Rt△ACD 中,AF ⊥CD , ∴1AF2=1AC2+1AD2.∴1AE2=1AB2+1AC2+1AD 2.故猜想正确.【例3】(1)证明:在直四棱柱ABCD -1111A B C D 中, 1DD ∥1CC , ∵EF ∥1CC ,∴EF ∥1DD . 又∵平面ABCD ∥平面1111A B C D , 平面ABCD ∩平面E F D1D =ED ,平面1111A B C D ∩平面1EFD D =1FD , ∴ED ∥1FD .∴四边形1EFD D 为平行四边形. ∵侧棱1DD ⊥底面ABCD ,又DE ⊂平面ABCD , ∴1DD ⊥DE.∴四边形1EFD D 为矩形. (2)解:连接AE ,∵四棱柱ABCD -1111A B C D 为直四棱柱, ∴侧棱1DD ⊥底面ABCD .又AE ⊂平面ABCD ,∴1DD ⊥AE . 在Rt△ABE 中,AB =2,BE =2,则AE =在Rt△CDE 中,EC =1,CD =1,则DE在直角梯形ABCD 中,AD =∴222AE DE AD +=,即AE ⊥ED .又∵ED ∩1DD =D , ∴AE ⊥平面1EFD D .由(1)可知,四边形1EFD D 为矩形,且DE1DD =1, ∴矩形1EFD D 的面积为1EFD D S 矩形=DE ·1DD∴几何体A -1EFD D 的体积为1A EFD D V -=113EFD D S 矩形·AE =13×2×22=43.演练巩固提升针对训练1.n +(n +1)+(n +2)+…+(3n -2)=(2n -1)2解析:观察等式左侧:第一行有1个数是1;第二行是3个连续自然数的和,第一个数为2,第三行是5个连续自然数的和,第一个数为3,第四行是7个连续自然数的和,第一个数为4.依此规律,第n 行是2n -1个连续自然数的和,其中第一个数为n ,∴第n 行左侧为:n +(n +1)+(n +2)+…+[n +(2n -2)]=n +(n +1)+(n +2)+…+(3n -2);等式右侧;第一行1=12,第二行9=32,第三行25=52,第四行49=72.依此规律,第n 行是(2n -1)2,∴第n 个等式为n +(n +1)+(n +2)+…+(3n -2)=(2n -1)2.2.(21)2n n x x -+ 解析:由已知可归纳如下:()1f x =11(21)2xx -+, ()2f x =22(21)2x x -+,()3f x =33(21)2x x -+,()4f x =44(21)2xx -+,…,()n f x =(21)2n nxx -+. 3.∑i =14(iH i )=3V k解析:由31241234S S S S ====k , 得1S k =,2S k =2,3S k =3,4S k =4, ∴112233441111=3333V S H S H S H S H +++ =k3(1234234H H H H +++). ∴1234234H H H H +++=3Vk,即∑i =14(iH i )=3Vk.4.解:()f x =ax +1x +2=a (x +2)+1-2a x +2=1-2ax +2+a . 任取1x ,2x ∈(-2,+∞),且1x <2x , 则()1f x -()2f x =12121222a ax x ---++ =2112(12)()(2)(2)a x x x x --++.∵函数()f x =ax +1x +2在区间(-2,+∞)上为增函数,∴()1f x -()2f x <0. ∵21x x ->0,12x +>0,22x +>0,∴1-2a <0,a >12,即实数a 的取值范围是⎝ ⎛⎭⎪⎫12,+∞.。
总复习本章对高级数理逻辑所讲述的内容总结,并对已经学习的内容进行回顾。
在对所讲述的内容回顾之前,首先对整个数理逻辑学科的组成进行回顾,从而使大家有更深刻的认识。
数理逻辑学科学科发展从数理逻辑学中衍生出来的学科有很多,如:递归论、可计算理论、模型论、机器证明、知识工程、布尔代数等。
这些理论都是以数理逻辑学为基础的。
针对数理逻辑本身,由于这些学科的需求产生了很多不同种类的逻辑系统。
数理逻辑的不同种类,基本上都是从经典的逻辑系统中扩展而来的。
这种扩展通常有语法扩展和语义扩展。
●语法扩展:在经典逻辑系统中,扩充一些符号,从而衍生出新的逻辑系统。
如模态逻辑,二阶谓词逻辑等。
●语义扩展:对逻辑系统中语义的范围等进行扩展,如模糊逻辑等。
数理逻辑通常划分成以下不同种类的逻辑系统:1、经典逻辑:传统的命题逻辑、一阶谓词逻辑等。
认为世界是黑白的,对于一个命题非真既假。
2、模态逻辑:认为世界上任何事情的真假是与时间有着密切的关系的。
3、多值逻辑:认为世界上的对与错是没有绝对的,命题的真假是可以是多个甚至连续值的。
4、非单调逻辑:讨论如何将人类的常识加入到逻辑系统中去。
经典逻辑是单调逻辑,既事实越多,已有的结论不会消失;而单调逻辑中,可能随着事实的增加原有的结论被否定。
体系构成在高级数理逻辑(计算逻辑)中,每一种逻辑都自成体系。
逻辑的体系过程主要包括以下几个方面:1、形式系统:用符号的方式来描述一个逻辑系统的构成。
类似于形式语言系统。
2、语义系统:针对形式进行解释的一套体系,这套体系确定了符号的含义的解释方法和规则。
3、元理论:对形式系统组成、语义系统特性和形式与语义之间关系进行研究。
从而保证了数理逻辑的初衷(利用数学演算的方法来研究人类思维过程)。
4、自动化推理:在形式系统的基础上,研究利用计算机自动进行推理的理论和方法。
以及自动推理的效率提高方法和自动推理完备性研究。
形式系统形式系统构成形式系统由{∑, TERM, FORMULA, AXIOM, RULE}等5个部分构成,其中 称为符号表,TERM 为项集;FORUMULA 为公式集;AIXIOM 为公理集;RULE 为推理规则集。
:1、 符号表∑为非空集合,其元素称为符号。
2、 设∑*为∑上全体字的组合构成的集合。
项集TERM 为∑*的子集,其元素称为项;项集TERM 有子集V ARIABLE 称为变量集合,其元素称为变量。
3、 设∑*为∑上全体字的组合构成的集合。
公式结FORMULA 为∑*的子集,其元素称为公式;公式集有子集ATOM ,其元素称为原子公式。
4、 公理集AXIOM 是公式集FROMULA 的子集,其元素称为公理。
5、 推理规则集RULE 是公式集FORMULA 上的n 元关系集合,即RULE=)}2(|{n FORMULA r n n n r ⊆∧≥∧∃是正整数,其元素称为形式系统的推理规则。
其中公式集和项集之间没有交叉,即TERM ∩FORMULA =φ,公式和项统称为表达式。
由定义可知,符号表∑、项集TERM 、公式集FORMULA 是形式系统的语言部分。
而公理集AXIOM 、推理规则集RULE 为推理部分。
形式系统的重要问题1、 符号表 为非空、可数集合(有穷、无穷都可以)。
2、 项集TERM 、公式集FORMULA 、公理集AXIOM 和推理规则集RULE 是递归集合,即必须存在一个算法能够判定给定符号串是否属于集合。
3、 形式系统中的项是用来描述研究的对象,或者称为客观世界的。
而公式是用来描述这些研究对象的性质的。
这个语言被称为对象语言。
定义公式和项产生方法的规则称为词法。
4、 用来描述形式系统中各个部分性质的语言称为元语言。
用于研究形式系统的元语言又被称为元数学。
形式推导1、 基本概念演绎结果与定理:设A 为FSPC 上一公式,集合Γ为FSPC 上一公式集合。
称A 为Γ的演绎结果,记为Γ├A ,如果存在一个公式序列:)(,,,,321A A A A A L =使得i A 或者为形式系统FSPC 的公理,或者为公式集合Γ中的元素,或者或者为),,,,(,,,,13211321i j j j j A A A A n j j j j n <-- 由推理规则r 得到;则称A 为FSPC 的演绎结果。
当Φ=Γ时,称A 为定理FSPC 上的定理。
称)(,,,,321A A A A A L = 为A 的证明序列。
逻辑等价:公式A 和B 分别为两个公式,如果A,B 满足B ├A ,且A ├B 同时成立,则称公式A 和B 为逻辑等价公式,记为A ├│B 。
即A,B 互为演绎结果。
例如:A ⌝⌝├|A ,B A ∧├|A B ∧,B A ∨├|A B ∨。
对偶:设A 为FSPC 上由联结词⌝, ∨, ∧和原子公式构成的公式。
在A 中交换∨和∧,以及原子公式和他的否定公式,得到公式'A ,则称'A 为A 的对偶。
2、 推理基础(1)公理代入原理:设A(P)为含有变元P 的公理(定理同样适用),如果将公式A 中的变元P 替换为命题变元B ,则A(B)仍为公理(定理);C →((B →C)→C)(2)等价替换原理:设命题公式A 含有子公式C (C 为命题公式),如果C ├│D ,那么将A 中子公式C 提换为命题公式D (不一定全部),所得公式B 满足A ├│B 。
(3)对偶原理:设A 为FSPC 上的公式,'A 为其对偶,则A ├│'A ⌝。
(4)演绎定理:设∑为任一公式集合, A,B 为任意公式,那么:∑ ,A ├B 当且仅当∑├B A →∑ ,A ╞B 当且仅当∑╞B A →(5)(变量)改名原理如果公式A 中至少一个量词的指导变元和相应的约束变元都改名为另一个相同变元后得到公式A ’,则A ’为A 的改名式;如果A ’是A 的改名式,且A ’改用的变元在A 中无任何出现,那A ├│A ’3、 其他推理方法根据形式系统的性质,给出一些专用推理规则。
语义系统语义系统定义形式语义:设FS是已经存在的形式系统,FS的语义有语义结构和赋值两个部分组成:a)语义结构:当FS的项集TERM不为空时,由非空集合U和规则组I所组成二元组(U,I),称为形式系统FS的语义结构。
其中U和I的性质如下:i.U为非空集合,称为论域或者个体域;ii.规则组I,称为解释,根据规则组的规定对项集TERM中的成员指称到U 中的个体;规定对原子公式如何指称到U中的个体性质(U的子集)、关U的子集)。
系(nb)指派:若形式系统FS中的变量集合Variables非空,那么下列映射称为指派:s:varibles->U。
对于给定的语义结构,可以将指派扩展到项集TERM上:s:TERM->U;s=S(t) 当t 为变元S指派t中变元由解释确定当t为非变元c)赋值:是指一组给公式赋值的规则,据此规则可对每一结构U和指派S确定一由原子公式到值域的映射v:atomic->value。
根据这个赋值规则,可以将赋值映射进行扩展:v为v:Formula->value。
元理论语法构成(1)独立性:如果形式系统中每一个公理都是独立的,即把任一公里A从形式系统中删除后,所得形式系统FSˊ不满足├FS′A(即A不是FSˊ的定理),则称形式系统为独立的;●独立形式系统是简洁的;(2)一致性:形式系统FS称为一致性,或相容的(consistent)如果不存在FS的公⌝同时成立;式A,使得├A,├A●所有形式系统都应该是一致的;(3)完全性:形式系统为完全的,如果对形式系统中任意公式A,或者├A成立,或者⌝成立;├A●完全性的形式系统,一切都是可知的;因此,几乎没有价值;(4)可判定性:形式系统FS称为可判定的,如果存在一个算法,对FS对的任一公式A,可确定├A是否成立,否则称FS是不可判定的;如果上述算法对定理能作出判断,而对于非定理未必终止(作判断),称FS为半可判定的;● FS 为可判定的,当且仅当定理集合为递归集; (5)公式集合一致性:称形式系统的公式集合Γ为一致的,如果形式系统是一致的,且不存在公式A 使 Γ ├A , ├A ⌝ 同时成立。
语义系统基本上没有。
语法语义关系研究语法语义关系,首先关心的问题是在语法上的形式演算,在语义的逻辑推论上是否成立。
这个问题被称作合理性(Soundness )。
其次,是对于语义上的逻辑推理,在形式演算上是否成立。
这个问题是完备性(Completeness )。
这两个问题是语法语义关系的核心。
1) 合理性(soundness ):称形式系统FS 是合理的,FS 的任意公式A 有:├FS A ,则╞M A ,M 为所有结构;2) 完备性(Completeness ):称形式系统FS 是完备的,如果对FS 的任意公式A有:若╞M A ,则├FS A ,这里M 为FS 所讨论的一类结构;3) 紧致性:称形式系FS 是紧致的,如果对FS 的任意公式集∑有:如果公式集∑的所有穷子集是可满足的,那么公式集∑也是可满足的;归结原理归结方法二元归结:设1C 和2C 分别含有文字1L 和2L 的子句,并且1L 和2L ⌝有最一般合一θ,那么下列推理规则称为归结原理:)()(,221121θθθθL C L C C C -∨-归结过程公式集 前束范式 skolem 标准形 子句集 合一 归结✓ 合一与代换:子句集合一后与原子句集之间的逻辑关系;合一是代换(t 1/x 1……t n /x n )将子句集中的变量x i 代换为项t i;✓ 归结合理与完备:在合一后的子句集上归结是一种推理,那么推理能否保证合理性与完备性;提高效率的策略:删除策略;支持集策略;线性策略;在归结过程中,注意:代换过程如果出现)(),(b P a P ⌝的情况就很可能是代换出现的问题;元定理在归结原理中,我们给定的形式系统是:● 形式系统是子句集,其上的推理方法不在是分离规则,而是归结;● 语义系统是Herbrand 结构。
在这样的推理环境中,我们还是要考虑形式推理(子句集上的归结)与形式语义之间的关系。
这些关系中,我们重点考虑的是合理性和完备性。
1、合理性:合理性的表现有两个定理,前面已经叙述过,下面重复一下:✓ 设子句集c 为子句c 1和c 2的归结结果,则c 为c 1和c 2的逻辑结果;✓ 设子句c 为子句集S 的归结结果,即存在一个归结序列,得到c ,则c 为S 的逻辑结果;2、完备性:✓ 若子句集S 为不可满足的,那么必定存在一个否证,即存一个导出空子句口的归结序列。
模态逻辑正规系统模态逻辑是研究各种不同的正规系统,这些正规系统中,最简单的是NSK 系统。
下面我们给出NSK 系统的构成。
1、 NSK 系统语言部分● 符号表:{,,......,,21⌝→p p □,◇,(,) };其中i p 为原子命题,⌝→,为联接词,□,◇为模态词,(,)技术符号。