第三讲 谓词逻辑【ppt】.ppt

§3.1 个体词、谓词和量词 命题所反映的不对之进行分解的单个对象称为个体。表示个体的词项，叫做个体词。表示个体的性质或个体与个体之间关系的词项，叫做谓词。 §3.1 个体词、谓词和量词 §3.1 个体词、谓词和量词 §3.1 个体词、谓词和量词 §3.1 个体词、谓词和量词 §3.1 个体词、谓词和量词 二、在下列括号中填入适当的语词或语句 三、根据所给出的谓词的定义，把下列符号表达式翻译成通顺的自然语句。 四、根据所给出的谓词的定义，把下列自然语言语句翻译成符号表达式。 §3.3 普遍有效性和可满足性 §3.3 普遍有效性和可满足性 §3.4 谓词逻辑的推理规则 “引进主词假设”规则 全称量词规则 存在量词规则 量词交换规则 §3.4.1 “引进主词假设”规则 §3.4.1 “引进主词假设”规则 §3.4.1 “引进主词假设”规则 §3.4.1 “引进主词假设”规则 §3.4.2 全称量词规则-全称消去 §3.4.2 全称量词规则-全称消去 §3.4.2 全称量词规则-全称消去 §3.4.2 全称量词规则-全称消去 §3.4.2 全称量词规则-全称消去 §3.4.2 全称量词规则-全称消去 §3.4.2 全称量词规则-全称引入 §3.4.2 全称量词规则-全称引入 §3.4.2 全称量词规则-全称引入 §3.4.2 全称量词规则-全称引入 §3.4.3 存在量词规则-存在消去 §3.4.3 存在量词规则-存在消去 §3.4.3 存在量词规则-存在消去 §3.4.3 存在量词规则-存在消去 §3.4.3 存在量词规则-存在消去 §3.4.3 存在量词规则-存在引入 §3.4.3 存在量词规则-存在引入 §3.4.3 存在量词规则-存在引入 §3.4.4 量词交换规则 逻辑方阵：对当关系 §3.4.4 量词交换规则 §3.5 带量词的关系推理 关系推理规则的正确使用 关系推理例示 关系三段论 纯关系推理 引入=、＞等符号 补充前提（关系的属性） §3.5.1 规则的正确使用 §3.5.1 规则的正确使用 §3.5.2 关系推理例示 §3.5.2 关系推理例示 §3.5.2 关系推理例示 §3.5.2 关系推理例示 §3.6 谓词逻辑推理有效性的判定方法 转换赋值法 解释法 §3.6.1 转换赋值法 §3.6.1 转换赋值法 §3.6.1 转换赋值法 §3.6.2 解释法 §3.6.2 解释法 §3.6.2 解释法 §3.6.2 解释法 §3.6.2 解释法 §3.6.2 解释法 §3.6.2 解释法 §3.6.2 解释法 本章小结 例十三 围棋甲队的任何人都能打败围棋乙队的每个人， 所以，围棋乙队的所有人都不能打败围棋甲队的任何人。 令：Ax：x是围棋甲队的人；Bx：x是围棋乙队的人；：R(x,y)：x打败y。 在个体域有限的情况下，可以把一谓词公式变换为命题逻辑的公式，从而可对它使用真值赋值方法确定一谓词公式是哪类公式。 这就是转换赋值法。转换赋值法的条件是假定个体域的个体是有限的。 设个体域为｛a,b,c, …,k｝，在这一个体域中， 全称式?xFx表示：任一x是F，即： ?xFx = Fa?Fb?Fc?…?Fk 存在式?xFx表示：至少有一x是F，即： ?xFx = Fa?Fb?Fc?…?Fk 用转换赋值法判定下面公式是否为普遍有效式： ?xFx??xFx 例十四 （1）?xFx??xFx 可以转换为： （2）（Fa?Fb?Fc?…?Fk）? （Fa?Fb?Fc?…?Fk） 等值于 （3）（p?q?r?…?t）? （p?q?r?…?t） （3）是普遍有效的，所