(逻辑学课程课件）谓词逻辑培训资料.pptVIP

第X章 谓词逻辑（Predicate Logic）;二、谓词和个体词;　　例（２）：　　张先生是李女士的丈夫。 　　令G符号（ｘ，ｙ）表示“ｘ是ｙ的丈夫” 　　　ａ表示“张先生”，ｂ表示“李女士” 　　那么G（ａ，ｂ）就表示“张先生是李女士的丈夫”。 　　 　　其中，G是谓词，表示“某人是某人的丈夫”这种关系。 　　ｘ，ｙ和ａ，ｂ就是个体词。同样，ｘ，ｙ称为个体变项；ａ，ｂ是个体常项。;谓词符号;二、量词;二、命题形式及其解释;命题形式不是命题，没有真假。命题形式看来脱离了命题，但实际上有了命题形式的抽象，就可以暂时舍开具体内容，独立地从逻辑结构上对命题及其关系进行更有效的分析。当然，命题形式不能完全脱离命题，对命题形式的分析最终总要落实到对有具体内容的命题的分析上来。因此，既要有从命题到命题形式的抽象化，又要有从命题形式到命题的具体化。 从命题形式到命题的一个基本方法，称作【解释】。命题形式的一个解释，就是用一组常项分别取代该命题形式中的所有变项。具体地说就是用命题常项、谓词常项、个体常项，分别取代命题变项、谓词变项、自由个体变项，在真值形式中，有时我们不是用命题常项（具体命题）来取代命题变项，而是给命题变项以确定的真值。这是一种特殊的解释，即【真值解释】，也称作【真值赋值】。 命题形式经过解释，就成为命题。 一个命题形式的解释自然不是惟一的，而是无穷的。在不同的解释下，从命题形式得到的命题可以出现不同的真假情况。 一个命题形式，如果在任一解释下都得到一个真命题，则称为【普遍有效式】。 一个命题形式，如果在至少一种解释下能得到真命题，则称为【可满足式】。 一个命题形式，如果在任一解释下都不能得到一个真命题，则称为【不可满足式】。 普遍有效式当然是可满足的，但可满足式不一定是普遍有效式。 普遍有效式的真值形式是重言式。;例如：（1）?x F（x）→F（x） （2）F（y）→ ?x F（x） （3）F（x）? F（y） （4）F（x）? ┐F（x） 上述各式中，（1）、（2）式是普遍有效式；（3）式是可满足的非普遍有效式；（4）是不可满足式。 上述各式的逻辑性质是直观的。但对较复杂的命题形式，难以凭直观作出断定，这就需要新的方法。这正是谓词逻辑所要研究的。 有了谓词和量词的抽象以后，我们就获得了对自然语言及其表达的思维进行逻辑分析和符号刻画的更有力的工具。;第二节 自然语言的谓词表达式;在（2）式中，令G（x）表示“x是天鹅”，B（x）表示“x是黑的”。则（2）式的表达式是： ?x（G（x）? B（x）） 它的含义是：存在客体x，x是天鹅并且x是黑的。 为什么不能把（2）式写成?x（G（x）→ B（x））呢？?x（G（x）→ B（x））的含义是：存在客体x，如果x是天鹅，那么x是黑的。同样，作为天鹅的x是否存在，这里并没有得到断定。这显然不符合“有的天鹅是黑的”的含义。“有的天鹅是黑的”，也可以读作“有天鹅是黑的”，它当然是首先断定天鹅是存在的。 在（3）式中，令L（x）表示“x是宗教”，S（x）表示“x是科学”。则（3）式的表达式是： ?x （L（x）→ ┐S（x）） 它的含义是：对任一客体x而言，如果x是宗教，那么x不是科学。 在（4）式中令R（x）表示“x是新闻报道”，T（x）表示“x是真实的”，则（4）式的表达式是： ?x（R（x）? ┐T（x）） 其含义是显然的。;二、重叠量化式;在句（3）中，令P（x）表示“x是人”，F（x）表示“x有私心”，W（x）表示“x是工作”，D（x，y）表示“x把y弄糟”。则句（3）的表达式是： ?x（（P（x）? F（x））→ ?y（W（y）? D（x，y））） 它的含义是：对所有客体x而言，如果x是人且x是自私的，那么，总存在客体y，y是工作并且x把y弄糟。 在句（4）中，令E（x）表示“x是偶数”，F（x）表示“x是素数”，G（x，y）表示“x ≥ y”，R（x，y，z）表示“x=y+z”，个体常项a表示自然数6。则句（4）的符号式是： ?x（（E（x）? G（x，6）））→ ?y?z（F（y）? F（z）? R（x，y，z）） 它的含义是：对所有客体x而言，如果x是偶数，并且x≥6，那么，存在客体y和客体z，满足y和z都是素数并且x可以表示为y和z之和。;三、量化式的复合;四、量化推理式;在（2）中，令N（x）表示“x是自然数”，E（x）表示“x是偶数”，O（x）表示“x是奇数”，则（2）的推理式为： ?x（N（x）→ O（x）? E（x））） ?x（N（x）? ┐O（x）） ———————————————— ?x（N（x）? E（x）） 在（3）中，令a表示“某甲”，P（x）表示“x是人”，A（x，y）表示“x赞