第四章一阶逻辑基本新概念.pptVIP

主要内容 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式;4.1 一阶逻辑命题符号化 ;谓词;量词;实例1;实例1解答;实例2;实例3;实例4;实例5;4.2 一阶逻辑公式及解释;一阶语言L 的项与原子公式;定义4.4 L 的合式公式定义如下： (1) 原子公式是合式公式. (2) 若A是合式公式，则 (?A)也是合式公式 (3) 若A, B是合式公式，则(A?B), (A?B), (A?B), (A?B)也是 合式公式 (4) 若A是合式公式，则?xA, ?xA也是合式公式 (5) 只有有限次地应用(1)—(4)形成的符号串才是合式公式. 合式公式简称公式 如, F(x), F(x)??G(x,y), ?x(F(x)?G(x)) ?x?y(F(x)?G(y)?L(x,y))等都是合式公式;封闭的公式;封闭的公式;公式的解释;实例;公式的类型;代换实例;实例;第四章 习题课;???本要求;练习1;练习1(续);练习2;练习2;练习3;练习3;练习4;练习5