信息安全数学基础 幻灯片.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 (t1， t2， … ，tn )∈Term(L ) iii）t是能由有限次应用i）—ii）形成的表达式 iff t∈Term(L ) 不含自由变元的项被称为闭项。 t表示项。 Term(L )的归纳证明原理。 项的结构 定理： Term(L )中的项具有以下三种形式之一：个体符号，自由变元符号， f (t1， t2， … ，tn )，其中f为n元函数符号；且项具有的形式是唯一的。 定理：若t是f (t1， t2， … ，tn )的段，则t=f (t1， t2， … ，tn )或t为ti（i=1，2，…，n）的段。 Atom(L )的定义 Atom(L )的定义 L 的表达式是Atom(L )的元素，当且仅当它为下列情况之一： i） F(t1， t2， … ，tn) ，其中F为n元关系符号， t1， t2， … ，tn ∈Term(L )。 ii）≡(t1， t2)，其中≡为相等关系符号，t1，t2∈Term(L )。 Form(L )的归纳定义（一） 合式公式集Form(L ) i） Atom(L )?Form(L ) ii）若A∈Form(L )，则(﹁A)∈Form(L ) iii）若A，B∈Form(L )，则(A*B)∈Form(L )。其中*表示∧，∨，→，?中的任何一个 iv）若A(u)∈Form(L )，且x不在A(u)中出现，则?xA(x)， ?xA(x) ∈Form(L ) v）A是能由有限次应用i）—iv）形成的表达式 iff A∈Form(L ) Form(L )的归纳定义（二） 不含自由变元的公式被称为闭公式或语句，Sent(L )表示所有语句构成的集合。 含有某个约束变元而不含它的量词的表达式被称为拟公式。 拟公式不是公式。 A，B，C表示公式、拟公式。 Form(L )的归纳证明原理 定理：设R是一个性质，若 i）对于任何p∈Atom(L )，R(p)； ii）对于任何A∈Form(L )，若R(A)，则R((﹁A))； iii）对于任何A，B∈Form(L )，若R(A)且R(B)，则R((A*B)) 。其中*表示∧，∨，→，?中的任何一个； iv）对于任何A(u)∈Form(L )，若R(A(u))，且x不在A(u)中出现，则R(?xA(x))， R(?xA(x))。 则对于任何A∈Form(L )，R(A)。 公式结构 定理：L 的每一公式恰好具有以下8种形式之一：原子公式， (﹁A)， (A∧B)， (A∨B)， (A→B)，(A?B)， ?xA(x)， ?xA(x) ；并且在各种情形，公式所具有的那种形式是唯一的。 公式的语法分类 原子公式 复合公式 否定式 合取式 析取式 蕴含式 等值式 全称式 存在式 辖域 若(﹁A)是C的段，则称A为它左方的﹁在C中的辖域 若(A*B)是C的段，则称A和B分别为它们之间的*在C中的左辖域和右辖域。其中*表示∧，∨，→，?中的任何一个 若?xA(x)或?xA(x)是B的段，则称A(x)为?x或?x在B中的辖域 定理：任何A中的任何﹁（如果有）有唯一的辖域；任何A中的任何*（如果有）有唯一的左辖域和右辖域；任何A中的任何?x或?x （如果有）有唯一的辖域 定理：若A是(﹁B)的段，则A= (﹁B)或A是B的段；若A是(B*C)的段，则A=