信息安全数学基础.pptVIP

语义（一） 论域（个体域） 问题所讨论的对象集称为论域，记为D。论域中的对象称为个体。 全总个体域：包含一切对象的集合，它是特殊的个体域。 个体符号 论域D中的个体常元 n元函数符号f f：Dn→D 第29页，共42页，编辑于2022年，星期二 语义（二） n元关系符号F F?Dn 自由变元符号 取值范围为论域D的个体变元 量词 ?xF(x)：对于所有x∈D，F(x)。 ?xF(x)：存在x∈D，使得F(x)。 约束变元 被量词量化的变元。 受限制量词 量词的范围由原来的论域被限制为论域的某个子集。 第30页，共42页，编辑于2022年，星期二 信息安全数学基础 第1页，共42页，编辑于2022年，星期二 一阶语言L 一阶语言L 是经典谓词（一阶）逻辑的形式语言 一阶语言L 是符号的集合 个体符号：a b c … 关系符号：F G H … 特别的，≡ 函数符号：f g h … 自由变元符号：u v w … 约束变元符号：x y z … 联结符号： ? ∧ ∨ → ? 量词符号： 标点符号：（ ， ） 注意：在一阶语言中没有命题符号。 一阶语言L 的含义本质上不涉及语义，而只有语法。 第2页，共42页，编辑于2022年，星期二 表达式 表达式： L 中有限个符号组成的字符串 表达式的长度：表达式中的符号数目 空表达式：长度为0的表达式，记为 表达式相等：U=V iff 表达式U和V中符号依次相同 表达式U和V依次并列形成新的表达式UV，且 若表达式U=W1VW2，则V是U的段。若V是U的段且V和U不相等，则V是U的真段。 初始段、结尾段、真初始段、真结尾段 第3页，共42页，编辑于2022年，星期二 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 )的归纳证明原理。 第4页，共42页，编辑于2022年，星期二 项的结构 定理： Term(L )中的项具有以下三种形式之一：个体符号，自由变元符号， f (t1， t2， … ，tn )，其中f为n元函数符号；且项具有的形式是唯一的。 定理：若t是f (t1， t2， … ，tn )的段，则t=f (t1， t2， … ，tn )或t为ti（i=1，2，…，n）的段。 第5页，共42页，编辑于2022年，星期二 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 )。 第6页，共42页，编辑于2022年，星期二 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 ) 第7页，共42页，编辑于2022年，星期二 Form(L )的归纳定义（二） 不含自由变元的公式被称为闭公式或语句，Sent(L )表示所有语句构成的集合。 含有某个约束变元而不含它的量词的表达式被称为拟公式。 拟公式不是公式。 A，B，C表示公式、拟公式。 第8页，共42页，编辑于2022年，星期二 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)。 第9页，共42页，编辑于2022年，星期二 公式结构 定理：L 的每一公式恰