离散数学-教育文化-.pptxVIP

离 散 数 学;绪 言;第一篇 数理逻辑;本篇由命题逻辑、谓词逻辑、公理化理论及非经典逻辑等四部分组成，其中命题逻辑以命题为研究对象而谓词逻辑则以谓词为研究对象，而公理化理论则是数理逻辑中演绎推理的形式化思想的介绍，最后非经典逻辑则介绍若干种计算机科学中常用的一些特殊形式逻辑，以上四部分有机结合构成完整的整体。;§1.4 命题逻辑基本等式;否定深入 P＝P； （P∧Q）＝ （P∨Q）＝;常值与变元的联结 T∧P＝P； F∧P＝F； T∨P＝T； F∨P＝F；;联结词化归;§1.5 对偶定理;§1.6 命题逻辑基本蕴含式及推理规则;P∧（P∨Q） Q； Q∧（P∨Q） P； P∧（P Q） Q；;（10）11个推理规则 P，Q P； P，Q Q； P∨Q； P∨Q； P，Q P∧Q；;§1.7 范式 范式——命题公式的一种标准形式 特异析取范式：该范式是一个析取式，每个析取项是所有命题变元式其否定的合取式。 特异合取范式：该范式是一个合取式，每个析取项是所有命题变元式其否定的析取式。;§1.8 命题联结词的扩充与归约 （13）命题联结词的扩充——异或：;第二章 谓词逻辑;量词;§2.2 谓词逻辑公式 （7）谓词逻辑公式 项：个体是项，函数是项 原子公式：P（t1 , t2 ,…tn）是原子公式 （其中ti为项） 公式： 原子公式是公式；;§2.3 自由变元与约束变元;§2.4 谓词逻辑永真公式 谓词逻辑永真公式定义谓词公式的解释与赋值 谓词逻辑永真公式定义——公式在所有解释下对所有赋值均为真 谓词逻辑永真公式等式： （ xP（x））＝ x（ P（x）） （ x P（x））＝ x（ P（x））;xP（x）∨Q＝ xP（x）∧Q＝;（12）谓词逻辑的蕴含永真公式 x yP（x , y） y x（P（x , y））;§2.5 范式;命题逻辑与谓词逻辑的公理化理论 （16）公理系统的组成命题：P1，P2，…，Pn； 命题联结词： ，∨，∧， ， ；个体常量：a，b，c，x，y，z； 个体变量：P，Q，R…；函 数：f，g，h； 谓 词： ， ； 括 号：（，）;项： ① 个体常量是项； ② 个体变量是项； ③ f是n元函数，t1，t2，…,tn是项，则 f(t1，t2，…,tn)是项； ④ 项由且仅由有限次使用①、②、③而得。;原子公式：P是n元谓词，t1，t2，…，tn是项，则P（t1，t2，…，tn)是??子公式。 命题逻辑公式： ① 命题是公式； ② P是公式则（ P）是公式； ③ P，Q是公式则（P∨Q），（P∧Q），（P Q）， （P Q）是公式； ④ 公式由且仅由有限次使用① ， ② ， ③而得。;谓词逻辑公式： ① 原子公式是公式； ② A，B是公式则：（ （A∧B），（A B）,（A;（17）公理系统的推理 1）公理 如P，Q，R为公式，则有下述的公理：;⑦ （P Q）（Q ⑧ P∧Q Q； ⑨ P∧Q P；;2）推理规则 分离规则：P Q，P Q。 3）证明（过程）与定理 证明（过程）给出了公理系统中定理生成的过程，它是一个公式序列：P1，P2，…，Pn，其中每个Pi（i＝1，2，…，n）必须满足下条件之一。;① Pi是公理； ② Pi是由Pk，Pr，（k，ri）施行分离规则而得。 最后，Pn＝Q 即为定理。 （18）导出规则——如有A B为定理则必有A B。 B，;（20）谓词逻辑公理系统 1．系统组成部分 可见（16） 2．推理部分 1）公理 设P，Q，R为公式，则有公理如下：;①;⑨ P∧Q P．;2）推理规则;3）证明（过程）与定理。 证明（过程）是一个公式序列：P1， P2，…，Pn，其中每个Pi（i＝1，2，…， n）必须满足下条件之一： ① Pi是公理； ② Pi是由Pk，Pr，（k，ri）施行分离规则而得； ③ Pi是由Pk（ki）施行全称规则而 得； ④ Pi是由Pk（ki）施行存在规则而 得。 最后，Pn＝Q 即为定理。;（21）谓词逻辑中四个重要的推理规则全称指定规则：US x P（x）＝＞ P（x）．全称推广规则：UG P（x）＝＞ x P（x）．存在指定规则：ES x P（x）＝＞ P（ x ）．存在推广规则：EG P（x）＝＞ x P（x）．;§2.6 数理逻辑公理化应用系统 数理逻辑公理化应用系统的定义：数理逻辑公理系统＋学科式领域的公理与规则。 公理化理论与计算机科学 公理化理论在计算机科学中的应用;谓词逻辑的自动定理证明;第三章 非经典逻辑介绍