离散数学-谓词逻辑.pptVIP

第二章 谓词逻辑 （Predicate Logic） 历史使人聪明，诗歌使人机智，数学使人精细，哲学使人深邃，道德使人严肃，逻辑与修辞使人善辩。 Bacon Francis 第二章 谓词逻辑 2.1谓词的概念与表示(Predicate and its expression) 2.2谓词公式与翻译(Predicate formulae) 2.3约束变元与自由变元(Free and Bound variable) 2.4 谓词的解释与类型(Interpretation types of predicate calculus) 2.5谓词演算的等价式与蕴含式(Equivalences implications of predicate calculus) 2.6前束范式(Prenex normal form) 2.7谓词演算的推理理论(Inference theory of predicate calculus)  2.1 谓词的概念与表示(Predicate and Its Expression) 在Ls中，把命题分解到原子命题为止，认为原子命题是不能再分解的，仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。 命题逻辑的局限性： （1） 它不能揭示某些有效的论证； （2） 无法将具有某种共同属性的命题显示出来，甚至对于含有变量的判断都无法用命题来描述。 2.1 谓词的概念与表示(Predicate and Its Expression) 例如，下列推理： 所有的人都是要死的。 苏格拉底是人。 所以，苏格拉底是要死的。 这是有效论证。但在命题逻辑中,如 果用P,Q,R表示以上三个命题，则上述推理过 程为：（P∧Q）?R。借助命题演算的推理理 论不能证明其为重言式。（P真Q真R假为成假赋值） 2.1 谓词的概念与表示(Predicate and Its Expression) 【例】设 P 表示命题：张辉是工人。 Q 表示命题：李明是工人。 仅仅从命题符号 P 和 Q 看不出张辉和李明都是工人这一特性。 【例】 x=3 ? x+y=z ? f(x)=0 ? 第二章 谓词逻辑（Predicate Logic）  2.1 谓词的概念与表示(Predicate and Its Expression) 原因：命题逻辑不能将命题之间的内在联系 和数量关系反映出来。 解决办法：将命题进行分解，分析出个体词，谓词和量词，以期达到表达出个体与总体的内在联系和数量关系。  2.1 谓词的概念与表示(Predicate and Its Expression) 2.1.1 个体和谓词 在谓词逻辑中，可将原子命题划分为个体 和谓词两部分。 个体：可以独立存在的具体事物的或抽象的概 念。例如，电子计算机、李明、玫瑰花、黑 板、实数、中国、思想、唯物主义等，个体也 可称之为主语。  2.1 谓词的概念与表示(Predicate and Its Expression) 谓词：用来刻划个体的性质或个体之间的相互关系的词。 例如在下面命题中： （1）张明是个劳动模范。 （2）李华是个劳动模范。 刻划客体的性质 （3）王红是个大学生。 （4）小李比小赵高2cm。 （5）点a在b与c之间。 刻划客体之间的相互关系 （6）阿杜与阿寺同岁。 （7） x与y具有关系L。 “是个劳动模范”、“是个大学生”、“…比…高2cm”、 “… 在…与…之间”、“…与…具有关系L”都是谓词。  2.1 谓词的概念与表示(Predicate and Its Expression) 刻划一个个体性质的词称之为一元谓词,刻划n个个体之间关系的词称之为n元谓词. 一般我们用大写英文字母表示谓词，用小写英文字母表示个体名称，例如，将上述谓词分别记作大写字母F、G、H、R，S，则上述命题可表示为： (1) F(a) a：张明 (2) F(b) b：李华 (3) G(c