离散数学 二 谓词逻辑

第二章 谓词逻辑

2-1 基本概念

• 客体、客体变元、谓词、n元谓词、命题函数、命题变元、简单命题函数、复合命题函数
• 论域、全总个体域；全总个体域是“最大”的论域，!=全集
• 量词、存在量词、全称量词、量词后的指导变元

2-2 谓词公式及命题符号化

• 客体函数；客体函数是论域到论域的映射，谓词是论域到{T,F}的映射
• 原子谓词公式、谓词合式公式（谓词公式、公式）、量词的作用域（辖域）
• 自由变元、约束变元：
  • 对约束变元用什么符号表示无关紧要
  • 一个谓词公式如果没有自由变元，它就表示一个命题
  • 一个n元谓词P(x1,x2,…,xn)在前面添加k个量词，使k个客体变元变成约束变元，则此n元谓词变成n-k元谓词
• 约束变元的改名规则：辖域内同时换名，不得与其他名称相同
• 自由变元的代入规则：处处代入，不得相同
• 命题的符号化：命题的符号表达式与论语有关系——特性谓词：注意给定命题中隐含的量词

2-3 谓词演算中的等价式和蕴含式

• 对谓词公式作指派（赋值）、永真式、等价公式、永真蕴含式
• 带量词的公式在论域内的展开式：任意展开合取，存在展开析取
• 量词否定公式：
  • not all x A(x) <=> exist x not A(x)—>不是所有==存在不
  • not exist x A(x) <=> all x not A(x)—>不存在==所有不
• B不含x，量词辖域的扩充公式：
  • $\forall xA(x)\vee B\iff \forall x(A(x)\vee B)$
  • $\forall xA(x)\wedge B\iff \forall x(A(x)\wedge B)$
  • …Latex公式好难敲，不敲了。总体原则是析取合取直接扩，蕴涵式手推转化
• 量词分配公式
  • 存在x(A(x)析取B(x))<=>存在xA(x)析取存在xB(x)：存在x或者是奇数，或者是偶数等价于存在x是奇数或者存在x或者是偶数
  • 任意x(A(x)合取B(x))<=>任意xA(x)合取任意xB(x)：任意自然数是整数而且是实数等价于任意自然数是整数而且任意自然数是实数
  • ***存在x(A(x)合取B(x))=>存在xA(x)合取存在xB(x)***：存在x是奇数，存在x是偶数，不能反推存在x既是奇数，又是偶数
  • ***任意xA(x)析取任意xB(x)=>任意x(A(x)析取B(x)***：任意x或者是奇数，或者是偶数，不能反推出任意x既是奇数，又是偶数
  • 两个量词的公式：次序问题
    • 有8条交换量词顺序的公式：画映射图理解

2-4 前束范式

• 前束范式定义
• 前束范式写法：
  • 消去->和<->
  • 量词前的否定后移，再用德摩根律分配到原子谓词公式前
  • 变元换名
  • 量词辖域扩充

2-5 谓词演算的推理理论

• 新增规则：US ES EG UG
• 推理时的注意事项：
  • 注意使用ES, US, EG, UG的限制条件
  • 对同一个客体变元，应先去$\exists$，再去$\forall$
  • 去量词时，必须是公式的最左边量词，且前边没有任何符号，辖域到公式末尾
  • 添加量词时，也是最左边，辖域到末尾

Author: Catigeart
GitHub: https://github.com/Catigeart?tab=repositories