《一阶谓词逻辑.pptx》由会员分享，可在线阅读，更多相关《一阶谓词逻辑.pptx（76页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、所有的人都是要死的，苏格拉底是人，所以苏格拉底是要死的。根据常识，认为这个推理是正确的。但是，若用Ls来表示，设P、Q和R分别表示这三个原子命题，则有P，QR第1页/共76页然而，(PQ)R并不是永真式，故上述推理形式又是错误的。一个推理，得出矛盾的结论，问题在哪里呢?问题就在于这类推理中，各命题之间的逻辑关系不是体现在原子命题之间，而是体现在构成原子命题的内部成分之间，即体现在命题结构的更深层次上。对此，Ls是无能为力的。所以，在研究某些推理时，有必要对原子命题作进一步分析，分析出其中的个体词，谓词和量词，研究它们的形式结构的逻辑关系、正确的推理形式和规则，这些正是谓词逻辑（简称为Lp）的基
2、本内容。第2页/共76页2.1 个体、谓词和量词2.2 谓词公式与翻译2.3 约束变元与自由变元2.4 公式解释与类型2.5 等价式与蕴涵式2.6 谓词公式范式2.7 谓词逻辑的推理理论第3页/共76页2.1 个体、谓词和量词在Lp中，命题是具有真假意义的陈述句。从语法上分析，一个陈述句由主语和谓语两部分组成。在Lp中，为揭示命题内部结构及其不同命题的内部结构关系，就按照这两部分对命题进行分析，并且把主语称为个体或客体，把谓语称为谓词。第4页/共76页.个体、谓词和命题的谓词形式定义2.1.1 在原子命题中，所描述的对象称为个体；用以描述个体的性质或个体间关系的部分，称为谓词。个体，是指可以独
3、立存在的事物，它可以是具体的，也可以是抽象的，如张明，计算机，精神等。表示特定的个体，称为个体常元，以a，b，c或带下标的ai，bi，ci表示；表示不确定的个体，称为个体变元，以x，y，z或xi，yi，zi表示。第5页/共76页谓词，当与一个个体相联系时，它刻划了个体性质；当与两个或两个以上个体相联系时，它刻划了个体之间的关系。表示特定谓词，称为谓词常元，表示不确定的谓词，称为谓词变元，都用大写英文字母，如P，Q，R，或其带上、下标来表示。第6页/共76页例如，在命题“张明是位大学生”中，“张明”是个体，“是位大学生”是谓词，它刻划了“张明”的性质。设S：是位大学生，c：张明，则“张明是位大学
4、生”可表示为S(c)，或者写成S(c)：张明是位大学生。又如，在命题“武汉位于北京和广州之间”中，武汉、北京和广州是三个个体，而“位于和之间”是谓词，它刻划了武汉、北京和广州之间的关系。设P：位于和之间，a：武汉，b：北京，c：广州，则P(a，b，c)：武汉位于北京和广州之间。第7页/共76页定义2.1.2 一个原子命题用一个谓词(如P)和n个有次序的个体常元(如a1，a2，an)表示成P(a1，a2，an)，称它为该原子命题的谓词形式或命题的谓词形式。应注意的是，命题的谓词形式中的个体出现的次序影响命题的真值，不是随意变动，否则真值会有变化。如上述例子中，P(b,a,c)是假。第8页/共76
5、页.原子谓词公式原子命题的谓词形式还可以进一步加以抽象，比如在谓词右侧的圆括号内的n个个体常元被替换成个体变元，如x1,x2,xn，这样便得了一种关于命题结构的新表达形式，称之为n元原子谓词。定义2.1.3 由一个谓词(如P)和n个体变元(如x1，x2，xn)组成的P(x1，x2，xn)，称它为n元原子谓词或n元命题函数，简称n元谓词。而个体变元的论述范围，称为个体域或论域。第9页/共76页当n=1时，称一元谓词；当n=2时，称为二元谓词，。特别地，当n=0，称为零元谓词。零元谓词是命题，这样命题与谓词就得到了统一。第10页/共76页n元谓词不是命题，只有其中的个体变元用特定个体或个体常元替代
6、时，才能成为一个命题。但个体变元在哪些论域取特定的值，对命题的真值极有影响。例如，令S(x)：x是大学生。若x的论域为某大学的计算机系中的全体同学，则S(x)是真的；若x的论域是某中学的全体学生，则S(x)是假的；若x的论域是某剧场中的观众，且观众中有大学生也有非大学生的其它观众，则S(x)是真值是不确定的。第11页/共76页通常，把一个n元谓词中的每个个体的论域综合在一起作为它的论域，称为n元谓词的全总论域。定义了全总论域，为深入研究命题提供了方便。当一个命题没有指明论域时，一般都从全总论域作为其论域。而这时又常常要采用一个谓词如P(x)来限制个体变元x的取值范围，并把P(x)称为特性谓词。
7、第12页/共76页.量词利用n元谓词和它的论域概念，有时还是不能用符号来很准确地表达某些命题，例如S(x)表示x是大学生，而x的个体域为某单位的职工，那么S(x)可表示某单位职工都是大学生，也可表示某单位有一些职工是大学生，为了避免理解上的歧义，在Lp中，需要引入用以刻划“所有的”、“存在一些”等表示不同数量的词，即量词，其定义如下：第13页/共76页定义2.1.4 符号称为全称量词符，用来表达“对所有的”、“每一个”、“对任何一个”、“一切”等词语；x称为全称量词，称x为指导变元。符号称为存在量词符，用来表达“存在一些”、“至少有一个”、“对于一些”、“某个”等词语；x称为存在量词，x称为指
8、导变元。第14页/共76页*符号!称为存在唯一量词符，用来表达“恰有一个”、“存在唯一”等词语；!x称为存在唯一量词，称x为指导变元。全称量词、存在量词、存在唯一量词统称量词。量词记号是由逻辑学家Fray引入的，有了量词之后，用逻辑符号表示命题的能力大大加强了。第15页/共76页例 试用量词、谓词表示下列命题：所有大学生都热爱祖国；每个自然数都是实数；一些大学生有远大理想；有的自然数是素数。第16页/共76页解 令S(x)：x是大学生，L(x)：x热爱祖国，N(x)：x是自然数，R(x)：x是实数，I(x)：x有远大理想，P(x)：x是素数。则例中各命题分别表示为：(x)(S(x)L(x)(x
9、)(N(x)R(x)(x)(S(x)I(x)(x)(N(x)P(x)第17页/共76页在该例的解答中，由于命题中没有指明个体域，这便意味着各命题是在全总论域中讨论，因而都使用了特性谓词，如S(x)、N(x)。而且还可以看出，量词与特性谓词的搭配还有一定规律，即全称量词后跟一个条件式，而特性谓词作为其前件出现；存在量词后跟一个合取式，特性谓词作为一个合取项出现。第18页/共76页如果在解答时，指明了个体域，便不用特性谓词，例如在、中令个体域为全体大学生，和中的个体域为全部自然数，则可符号化为：(x)L(x)(x)R(x)(x)I(x)(x)P(x)第19页/共76页谓词前加上了量词，称为谓词的量
10、化。若一个谓词中所有个体变元都量化了，则该谓词就变成了命题。这是因为在谓词被量化后，可以在整个个体域中考虑命题的真值了。这如同数学中的函数f(x)，的值是不确定的，但 可确定其值。第20页/共76页2.2 谓词公式与翻译.谓词公式为了方便处理数学和计算机科学的逻辑问题及谓词表示的直觉清晰性，将引进项的概念。定义2.2.1 项由下列规则形成：个体常元和个体变元是项；若f是n元函数，且t1，t2，tn是项，则f(t1，t2，tn)是项；所有项都由和生成。第21页/共76页有了项的定义，函数的概念就可用来表示个体常元和个体变元。例如，令f(x,y)表示x+y，谓词N(x)表示x是自然数，那么f(2,
11、3)表示个体自然数5，而N(f(2,3)表示5是自然数。这里函数是就广义而言的。例如P(x):x是教授，f(x):x的父亲，c:张强，那么P(f(c)便是表示“张强的父亲是教授”这一命题。第22页/共76页函数的使用给谓词表示带来很大方便。例如，用谓词表示命题：“对任意整数x，x2-1=(x+1)(x-1)是恒等式”。解：令I(x):x是整数，f(x)=x2-1，g(x)=(x+1)(x-1)，E(x,y):x=y，则该命题可表示成：(x)(I(x)E(f(x),g(x)。第23页/共76页定义2.2.2 若P(x1，x2，xn)是n元谓词，t1，t2，tn是项，则称P(t1，t2，tn)为L
12、s中原子谓词公式，简称原子公式。下面，由原子公式出发，给出Lp中的合式谓词公式的归纳定义。第24页/共76页定义2.2.3 合式谓词公式当且仅当由下列规则形成的符号串 原子公式是合式谓词公式；若A是合式谓词公式，则(A)是合式谓词公式；若A，B是合式谓词公式，则(AB)，(AB)，(AB)和(AB)都是合式谓词公式；若A是合式谓词公式，x是个体变元，则(x)A、(x)A都是合式谓词公式；仅有有限项次使用、和形成的才是合式谓词公式。第25页/共76页.谓词逻辑的翻译把一个文字叙述的命题，用谓词公式表示出来，称为谓词逻辑的翻译或符号化；反之亦然。一般说来，符号化的步骤如下：正确理解给定命题。必要时
13、把命题改叙（换句话说），使其中每个原子命题、原子命题之间的关系能明显表达出来。第26页/共76页把每个原子命题分解成个体、谓词和量词；在全总论域讨论时，要给出特性谓词。找出恰当量词。应注意全称量词(x)后跟条件式，存在量词(x)后跟合取式。用恰当的联结词把给定命题表示出来。第27页/共76页例 将命题“没有最大的自然数”符号化。解：命题中“没有最大的”显然是对所有的自然数而言，所以可理解为“对所有的x，如果x是自然数，则一定还有比x大的自然数”；再具体点，即“对所有的x如果x是自然数，则一定存在y，y也是自然数，并且y比x大”。令N(x):x是自然数，G(x,y):x大于y，则原命题表示为：(
14、x)(N(x)(y)(N(y)G(y,x)。第28页/共76页例 将语句“今天有雨雪，有些人会跌跤”符号化。解：本语句可理解为“若今天下雨又下雪，则存在x，x是人且x会跌跤”。令R:今天下雨，S:今天下雪，M(x):x是人，F(x):x会跌跤，则本语句可表示为：RS(x)(M(x)F(x)。由于人们对命题的文字叙述含意理解的不同，强调的重点不同，会影响到命题符号化的形式不同。第29页/共76页2.3 约束变元与自由变元定 义 2.3.1 给 定 一 个 谓 词 公 式A，其 中 有 一 部 分 公 式 形 如(x)B(x)或(x)B(x)，则称它为A的x约束部分，称B(x)为相应量词的作用域或
15、辖域。在辖域中，x的所有出现称为约束出现，x称为约束变元；B中不是约束出现的其它个体变元的出现称为自由出现，这些个体变元称自由变元。第30页/共76页对于给定的谓词公式，能够准确地判定它的辖域、约束变元和自由变元是很重要的。通常，一个量词的辖域是某公式A的一部分，称为A的子公式。因此，确定一个量词的辖域即是找出位于该量词之后的相邻接的子公式，具体地讲：第31页/共76页若量词后有括号，则括号内的子公式就是该量词的辖域；若量词后无括号，则与量词邻接的子公式为该量词的辖域。判定给定公式A中个体变元是约束变元还是自由变元，关键是要看它在A中是约束出现，还是自由出现。第32页/共76页今后常用元语言符
16、号A(x)表示x是其中的一个个体变元自由出现的任意公式，如A(x)可为P(x)Q(x)，P(x)(y)Q(x,y)等。一旦在A(x)前加上量词(x)或(x)，即得公式(x)A(x),或(x)A(x)。这时，x即是约束出现了。类似地，用A(x,y)表示x和y是自由出现的公式。第33页/共76页定义2.3.2 设A为任意一个公式，若A中无自由出现的个体变元，则称A为封闭的合式公式，简称闭式。由闭式定义可知，闭式中所有个体变元均为约束出现。例如，(x)(P(x)Q(x)和(x)(y)(P(x)Q(x,y)是闭式，而(x)(P(x)Q(x,y)和(y)(z)L(x,y,z)不是闭式。第34页/共76页
17、从下面讨论可以看出，在一公式中，有的个体变元既可以是约束出现，又可以是自由出现，这就容易产生混淆。为了避免混淆，采用下面两个规则：约束变元换名规则，将量词辖域中某个约束出现的个体变元及相应指导变元，改成本辖域中未曾出现过的个体变元，其余不变。自由变元代替规则，对某自由出现的个体变元可用个体常元或与原子公式中所有个体变元不同的个体变元去代替，且处处代替。第35页/共76页换名规则与代替规则的共同点都是不能改变约束关系，而不同点是：施行的对象不同。换名是对约束变元施行，代替是对自由变元施行。施行的范围不同。换名可以只对公式中一个量词及其辖域内施行，即只对公式的一个子公式施行；而代替必须对整个公式同
18、一个自由变元的所有自由出现同时施行，即必须对整个公式施行。例：x y(R(x,y)L(y,z)xH(x,y)换 名 和 代 替 为：x y(R(x,y)L(y,z)tH(t,w)第36页/共76页 施行后的结果不同。换名后，公式含义不变，因为约束变元只改名为另一个个体变元，约束关系不改变。约束变元不能改名为个体常元；代替，不仅可用另一个个体变元进行代替，并且也可用个体常元去代替，从而使公式由具有普遍意义变为仅对该个体常元有意义，即公式的含义改变了。第37页/共76页2.4 公式解释与类型1公式解释一般情况下，Lp中的公式含有：个体常元、个体变元（约束变元或自由变元）、函数变元、为谓词变元等，对
19、各种变元用指定的特殊常元去代替，就构成了一个公式的解释。当然在给定的解释下，可以对多个公式进行解释。下面给出解释的一般定义。第38页/共76页定义2.4.1 一个解释I由下面4部分组成：非空个体域DI。DI中部分特定元素a，b，。DI上的特定一些函数f，g，。DI上特定谓词：P，Q，。在一个具体解释中，个体常元、函数符号、谓词符号的数量一般是有限的，并且其解释一旦确定下来就不再改变，只是个体变元的值在个体域DI内变化，量词符或仅作用于DI中的元素。第39页/共76页2公式类型定义2.4.2 若一公式在任何解释下都是真的，称该公式为逻辑有效的，或永真的。若一公式在任何解释下都是假的，称该公式为矛
20、盾式，或永假式。若一公式至少存在一个解释使其为真，称该公式为可满足式。第40页/共76页从定义可知，逻辑有效式为可满足式，反之未必成立。与命题公式中分类一样，谓词公式也分为三种类型，即逻辑有效式（或重言式）、矛盾式（或永假式）和可满足式。第41页/共76页由于谓词公式的复杂性和解释的多样性，至今还没有一个可行的算法判定任何公式的类型。早在1936年，Churen和Turing各自独立地证明了：对于Lp，其判定问题是不可解的。但是，Lp是个半个可判定的，即若Lp中公式是重言式，则存在算法在有限步骤内能验证它。当然，对于一些较为简单的公式，或某些特殊公式，还是可以判定其类型的。例如，如果一个谓词公
21、式是命题公式中的重言式的代换实例，则这个谓词公式是逻辑有效式（或重言式）。见教材P44 例2.9第42页/共76页2.5 等价式与蕴涵式1等价式定义2.5.1 设A、B为任意两个公式，若AB为逻辑有效的，则称A与B是等价的，记为AB，称AB为等价式。由于重言式(永真式)都是逻辑有效的，可见1.3节中的命题定律（基本等价式）都是Lp 等价式。第43页/共76页此外，还有一置换规则：设(A)是含有A出现的公式，(B)是用公式B替换若干个公式A的结果。若AB，则(A)(B)。显然，若(A)为重言式，则(B)也是重言式。第44页/共76页下面给出涉及量词的一些等值式。(1)量词否定等值式（量词可互相转
22、化）：(a)(x)A(x)A(b)(x)A(x)A第45页/共76页这两个等值式，可用量词的定义给予说明。由于“并非对一切x，A为真”等价于“存在一些x，A为真”，故(a)成立。由于“不存在一些x，A为真”等价于“对一切x，A为真”，所以(b)成立。这两个等值式的意义是：否定联结词可通过量词深入到辖域中。对比这两个式子，容易看出，将(x)与(x)两者互换，可从一个式子得到另一个式子，这表明(x)与(x)具有对偶性。另外，由于这两个公式成立也表明了，两个量词是不独立的，可以互相表示，所以只有一个量词就够了。第46页/共76页对于多重量词前置“”，可反复应用上面结果，逐次右移。例如，(x)(y)(
23、z)P(x,y,z)(x)(y)(z)P(x,y,z)（2）量词辖域缩小或扩大等值式设B是不含x自由出现，A(x)为有x自由出现的任意公式，则有：第47页/共76页(a)(x)(A(x)B)(x)A(x)B(b)(x)(A(x)B)(x)A(x)B(c)(x)(A(x)B)(x)A(x)B(d)(x)(BA(x)B(x)A(x)(e)(x)(A(x)B)(x)A(x)B(f)(x)(A(x)B)(x)A(x)B(g)(x)(A(x)B)(x)A(x)B(h)(x)(BA(x)B(x)A(x)。运用(c)、(g)时要小心！第48页/共76页(3)量词分配律等值式：(a)(x)(A(x)B(x)(
24、x)A(x)(x)B(x)(b)(x)(A(x)B(x)(x)A(x)(x)B(x)其中，A(x)，B(x)为有x自由出现的任何公式。(4)多重量词等值式(a)(x)(y)A(x,y)(y)(x)A(x,y)(b)(x)(y)A(x,y)(y)(x)A(x,y)其中A(x,y)为含有x，y自由出现的任意公式。第49页/共76页2.蕴涵式由于Ls中蕴涵式（或永真条件式）在Lp中都是逻辑有效的，而且使用代入规则得到蕴涵式也都是Lp中逻辑有效的。例如：(x)P(x)(x)P(x)(y)Q(y)附加(x)P(x)Q(x,y)(x)P(x)Q(x,y)假言推理第50页/共76页下面将给出Lp中的一些蕴涵
25、式。(1)(a)(x)A(x)(x)B(x)(x)(A(x)B(x)(b)(x)(A(x)B(x)(x)A(x)(x)B(x)(c)(x)(A(x)B(x)(x)A(x)(x)B(x)(d)(x)(A(x)B(x)(x)A(x)(x)B(x)其中，A(x)和B(x)为含有x自由出现的任意公式。第51页/共76页2.6 谓词公式范式.前束范式定义2.9.1 一个合式公式称为前束范式，如果它有如下形式：(Q1x1)(Q2x2)(Qkxk)B其中Qi(1ik)为或，B为不含有量词的公式。称Q1x1Q2x2Qkxk为公式的首标。特别地，若中无量词，则也看作是前束范式。第52页/共76页可见，前束范式的
26、特点是，所有量词均非否定地出现在公式最前面，且它的辖域一直延伸到公式之末。例如，(x)(y)(P(x,y)Q(y,z),R(x,y)等都是前束范式，而(x)P(x)(y)Q(y)，(x)(P(x)(y)Q(x,y)不是前束范式。定理2.6.1 (前束范式存在定理)Lp中任意公式A都有与之等价的前束范式。本教材转化前束范式原则：能不换名就不换！见教材P47 例2.11第53页/共76页求公式的前束范式（1）x(F(x)G(x)x H(x,y)（2）(x F(x,y)y G(y)x H(x,y)(例2.20,例2.11(5)第54页/共76页2.7 谓词逻辑的推理理论Lp是Ls的进一步深化和发展，
27、因此Ls的推理理论在Lp中几乎可以完全照搬，只不过这时涉及的公式是Lp的公式罢了。在Lp中，某些前提和结论可能受到量词的约束，为确立前提和结论之间的内部联系，有必要消去量词和添加量词，因此正确理解和运用有关量词消去和添加规则是Lp推理理论中十分重要的关键所在。第55页/共76页在一阶逻辑中，推理的形式结构仍为：若(H1H2Hn)C是逻辑有效式，则称C是H1，H2，Hn的逻辑结论，记为(H1H2Hn)C除命题逻辑的11条规则外，加上前面证明的：(a)(x)A(x)(x)B(x)(x)(A(x)B(x)(b)(x)(A(x)B(x)(x)A(x)(x)B(x)(c)(x)(A(x)B(x)(x)A
28、(x)(x)B(x)(d)(x)(A(x)B(x)(x)A(x)(x)B(x)第56页/共76页.有关量词消去和产生规则还要用到以下4条推理规则注意：其中A B不一定表示A B是逻辑有效式，而只表示在一定条件下，当A为真时，B也为真的推理关系。第57页/共76页(1)全称量词消去规则(简称UI或US规则，-)有两种形式：(x)A(x)A(c)(x)A(x)A(y)成立充分条件是：c为论域中任意个体常项，y为论域中任一个体；x 在A(x)中是自由出现的；y为任意的不在A(x)中约束出现的个体变项。第58页/共76页(2)存在量词消去规则 (简称EI或ES规则，-)(x)A(x)A(c)成立充分条
29、件是：c是使A为真的特定个体常项；c不曾在A(x)中出现过；若A(x)中有其它自由变项时，不能应用本规则。第59页/共76页(3)全称量词产生规则 (简称UG规则，+)A(y)(x)A(x)成立条件：y在A(y)中自由出现，且y取任何值时A均为真；取代y的x不能在A(y)中约束出现；A(y)中含有个体常项时，要小心使用。第60页/共76页(4)存在量词产生规则 (简称EG规则，+)A(c)(x)A(x)成立充分条件：c是特定的个体常项；取代c的个体变元x不能已在A(c)中出现过。第61页/共76页错在哪里（P53 例2.18）？（1）x(F(x)G(x)P（2）F(y)G(y)（1）UI（3）
30、x F(x)P（4）F(y)（3）EI（5）G(y)（2）（4）假言推理（6）x G(x)（5）UG第62页/共76页错在哪里（P53 例2.18）？（1）x y F(x,y)P（2）y F(z,y)（1）UI（3）F(z,c)（2）EI（4）x F(x,c)（3）UG（5）y x F(x,y)（4）EG第63页/共76页错在哪里（P57 习题2.16）？（1）x F(x)G(x)前提引入 F(y)G(y)UI（2）x(F(x)G(x)前提引入 F(a)G(b)UI（3）F(x)G(x)前提引入 y(F(y)G(y)EG（4）F(x)G(c)前提引入 x(F(x)G(x)EG（5）F(a)G(
31、b)前提引入 x(F(x)G(x)EG第64页/共76页错在哪里（P57 习题2.16）？(6)x(F(x)G(x)前提引入 y(H(y)R(y)前提引入 F(c)G(c)EI F(c)化简 H(c)R(c)EI H(c)化简 F(c)H(c)合取 x(F(x)H(x)EG第65页/共76页注意！一定对前束范式消量词，对不是前束范式的公式，一定要先化成前束范式再消量词。第66页/共76页Lp中推理实例Lp的推理方法是Ls推理方法的扩展，因此在Lp中利用的推理规则也是T规则、P规则和CP规则，还有已知的等值式，蕴涵式以及有关量词的消去和产生规则。使用的推理方法是直接构造法和间接证法。第67页/共
32、76页例 试证明下面苏格拉底论证：所有人都是要死的，苏格拉底是人，因此，苏格拉底是要死的。证明 令M(x):x是人，D(x):x是要死的，s:苏格拉底，原题可符号化为：(x)(M(x)D(x)，M(s)D(s)第68页/共76页推证如下：（1）(x)(M(x)D(x)前提引入 （2）M(s)D(s)(1)UI （3）M(s)前提引入 （4）D(s)(2)(3)假言推理第69页/共76页例 证明永真式x(A(x)B(x)(x A(x)x B(x)第70页/共76页例 构造推理前提：x P(x)x(P(x)Q(x)R(x)x P(x)结论：x y(R(x)R(y)第71页/共76页例 证明结论是否
33、有效有的病人喜欢所有的医生，没有一个病人喜欢某一庸医，所以没有医生是庸医。第72页/共76页改做习题2.23每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车。因而有的人不喜欢步行。（个体域为全总域）定义：F(x)：x喜欢步行；G(x)：x喜欢坐汽车；H(x)：x 喜欢骑自行车；M(x)：x是人 第73页/共76页数理逻辑知识点一、命题逻辑：掌握技能：自然语言符号化，命题公式化简/等值演算，命题公式判定（真值表法、等值演算、范式法），构造推理/永真式证明。概念辨析：命题，真值，真值表，赋值/解释/指派，合式公式，永真/重言式，永假/矛盾式，可满足式，对偶式，极小全功能联接词组/集合，极大项，极小项，有效结论。记忆：基本的等值式，基本的推理规则。第74页/共76页二、一阶逻辑：掌握技能：自然语言符号化，构造解释求谓词公式的值，谓词公式判定（利用命题逻辑中重言式的代换实例），求前束范式，构造推理。概念辨析：谓词，个体，量词，个体域/论域/全总域，项，合式公式，解释，辖域，自由变项/元，约束变项/元，换名，代替。记忆：量词转换等值式，量词辖域扩充/收缩的等值式、重言蕴涵式，量词的添加/消去规则。第75页/共76页谢谢您的观看！第76页/共76页