谓词逻辑基础与应用技巧总结.pdfVIP

要求

准确地在谓词逻辑范围内将给定命题符号化会求复合命题的真值

深刻理解谓词逻辑的解释，熟练地给出公式的解释

深刻理解永真式、矛盾式、可满足式的概念,会判断简单公式的类型

深刻理解并牢记谓词逻辑中的基本逻辑等价式和基本逻辑蕴涵式,并能准确

而熟练地应用它们

熟练正确地使用置换规则、换名规则、代入规则

熟练地求出给定公式的前束范式

深刻理解谓词逻辑的推理理论，注意使用US,UG,ES,EG4条推理规则的条件

能正确地给出有效推理的证明

1)一阶逻辑中命题符号化

（1）在命题符号化的过程中，要先看是否指明了个体域，若没有事先指明个体域，则

个体域是全总个体域。这时要对每个个体变元的变化范围，用特性谓词加以限制；

（2）选择适当的量词——全称量词或存在量词，而且，对于全称量词一般特性谓词须

作蕴涵式前件；对于存在量词一般特性谓词应作合取项；

（3）不同个体域内，命题符号化形式可能不同也可能相同，真值可能不同也可能相同；

（4）由于语言习惯，汉语中常将一些词省略，在翻译时必须补充上，否则语义不通；

（5）在选择谓词时应注意所述命题是刻画客体的性质，还是反映客体与客体的关系，

前者用一元谓词，后者用多元谓词。

2）给定解释，解释给定的公式，并求出公式