离散数第四章 一阶逻辑基本概念.pptVIP

谓词逻辑（一阶逻辑）简介;谓词逻辑（一阶逻辑）简介;第四章 一阶逻辑基本概念 一阶逻辑命题符号化 一阶逻辑公式及其解释 第五章 一阶逻辑等值演算与推理 一阶逻辑等值式与基本的等值式 置换规则、换名规则、代替规则 前束范式 自然推理系统NL及其推理规则 ;主要内容 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式;基本要求： 1.准确地将给定命题符号化. 分清各种符号化形式，如在符号化形式(1)-(7)中特别要注意两个基本公式(3)与(4)中量词与联结词的搭配情况，其实(5)、(6)、(7)都是两个基本公式的应用． 2. 深刻理解永真式、矛盾式、可满足式的概念和判别方法。 3.深刻理解闭式的概念及性质（闭式在任何解释下都是命题）. 4.对于给??的解释I，会在解释I下解释公式，判断公式是否是命题，是真命题，还是假命题。 ;4.1 一阶逻辑命题符号化 ;4.1 一阶逻辑命题符号化 ;谓 词;实 例1;实 例 1 解 答;量 词;量词;实例2;实例3;实例4;实例5;实 例6;4.2一阶逻辑公式及其解释;一阶语言L ;一阶语言L (续);一阶语言L (续);量词的辖域;实例;解释的直观涵义;解释;实例;实例(续);闭式的性质;一阶逻辑公式的分类;代换实例;实例;第四章 习题课;基本要求;练习1;练习1(续);练习2;练习2;练习3;练习3;练习4;练习5