《信息安全数学基础》-课件.pptVIP

经典谓词（一阶）逻辑 苏格拉底三段论 所有人都是要死的。 苏格拉底是人。 苏格拉底是要死。 命题逻辑的局限性 不能分析原子命题内部的结构形式。 在谓词逻辑中，对原子命题的结构进行进一步分析 谓词 个体 量词 在一阶逻辑中，逻辑形式由联结词、谓词、个体、量词共同决定 一阶语言L 一阶语言L 是经典谓词（一阶）逻辑的形式语言 一阶语言L 是符号的集合 个体符号：a b c … 关系符号：F G H … 特别的，≡ 函数符号：f g h … 自由变元符号：u v w … 约束变元符号：x y z … 联结符号： ? ∧ ∨ → ? 量词符号： 标点符号：（ ， ） 注意：在一阶语言中没有命题符号。 一阶语言L 的含义本质上不涉及语义，而只有语法。 表达式 表达式： L 中有限个符号组成的字符串 表达式的长度：表达式中的符号数目 空表达式：长度为0的表达式，记为 表达式相等：U=V iff 表达式U和V中符号依次相同 表达式U和V依次并列形成新的表达式UV，且 若表达式U=W1VW2，则V是U的段。若V是U的段且V和U不相等，则V是U的真段。 初始段、结尾段、真初始段、真结尾段 Term(L )的归纳定义 Term(L )的定义 i） a，u∈Term(L ) ii）若t1， t2， … ，tn∈Term(L )，且f为n元函数符号，则f (t