逻辑系统讲义.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 形式可推演性(2) 用? A表示?├A不成立 用A|-|B表示左右两边的公式可以互相推出，称其为语法等值公式或等值公式 建立在上述形式推演规则基础上的形式推演系统称为自然推演(演绎)系统 * 形式可推演性(3) 命题逻辑中的形式推演规则都包括在一阶逻辑当中，但是其中出现的公式是一阶语言中的公式，另外增加了关于量词的规则 (一阶逻辑)形式可推演性：在一阶逻辑中，A是由?可形式推演的(或形式可证明的)，记为?├A，当且仅当?├A能通过有限次应用一阶逻辑的形式推演规则生成 形式推演的例子可以参考本章后面列出的3本关于逻辑的教科书 * F2 形式系统的语义 形式系统的语义(1) 语义即对形式语言进行解释 研究可推导性即形式推演(├)时不考虑作为前提和结论的命题的内容，只考虑命题真假并由此确定前提的真是否蕴涵结论的真，即前提和结论之间是否有可推导关系(语法) 研究形式系统的语义时，对形式系统赋予研究对象的集合即论域；用论域中的个体对象、对象之上的运算(函数)、对象之间的关系(谓词)去解释形式系统中的符号，称作指称denote ? 指称语义学 * 形式系统的语义(2) 赋予形式系统的论域及解释称为形式系统的语义结构，简称结构(structure)/ 结构及其在该结构下公式所取真值的规定，称为形式系统的指称语义(denotational semantics) * 命题逻辑的可满足性 研究命题逻辑的语义，即研究公式(公式集)的真假赋值问题 真假赋值：真假赋值是以所有命题符号的集合为定义域，以真假值{1,0}为值域的函数。真假赋值v给公式A指派的值记作Av 可满足性：?是可满足的，当且仅当有真假赋值v，使得?v=1。此时称v满足?。 * 可满足性 ?的可满足性蕴涵了?中所有公式的可满足性，但反过来不成立。因为这要求同一个真假赋值满足所有的公式(并非所有可满足的公式使用同一个赋值) 重言式和矛盾式 A是重言式(永真式)，当且仅当对于任意的真假赋值v，Av=1 A是矛盾式(永假式)，当且仅当对于任意的真假赋值v，Av=0 * 真假判断与逻辑推论 一个命题公式是重言式或者是矛盾式或者两者都不是，需要进行判定。判定方法可通过构造真假值表方法或采用树形分支的方法来判定 可推导关系研究前提的真是否蕴涵结论的真，引入语义以后对公式进行真假赋值；如果对任意的真假赋值，都有上述关系，则说明前提和结论之间存在一种逻辑推论关系(或称逻辑蕴涵)。此时对关系陈述得也更精确 * 命题逻辑的逻辑推论 逻辑推论：设?、A分别是命题逻辑中的公式集合和公式,A是?的逻辑推论，记为? A，当且仅当对于任意真假赋值v，?v=1蕴涵Av=1。 |=可读作“逻辑地蕴涵”，|=是前提?和结论A之间的关系,但不是命题语言中的符号，?|=A是元语言中的命题 * 逻辑推论的证明 逻辑推论的证明 要证明?|=A时，即要证明对于任何真假赋值v，如果?v=1则Av=1 但任意的真假赋值难于验证 故使用反证法，假设?|≠A，即存在一个真假赋值v，使得?v=1且Av=0，由此而产生矛盾，即肯定了 ?|=A * 一阶语言的语义(1) 一阶语言的语义：一阶语言的解释包括一个论域和一个函数，函数把一阶语言中的个体符号、n元关系符号(即谓词)、m元函数符号分别映射到论域中的个体、论域上的n元关系和m元全函数，是在这个论域中对一阶语言的解释 * 一阶语言的语义(2) 如果n元关系符号和m元函数中不含自由变量，其项为论域中的个体ai，则原子公式F(t1,…,tn)被解释为：a1,…,an有R关系；项f(t1,…,tn)被解释为论域中的个体f(a1,…,an) 对于含有自由变量的函数(项)和公式，则分别被解释为论域上的m元函数和n元命题函数，它们经过解释，再给其中的自由变量符号指派论域中的某些个体，就得到论域中个体作为其值、真或假的命题作为其真假值 * 一阶语言的赋值(1) 赋值：一阶语言L的赋值v包括一个论域和一个函数，记作v，以L中所有个体符号a、关系符号F、函数符号f和自由变量符号u构成的集合为定义域，且分别把v(a)、v(F)、v(f)、v(u)写作av、Fv、fv、uv，则有 (1)av, uv∈D (2)Fv?Dn (3)fv: Dm→D * 一阶语言的赋值(2) 项的值：在以D为论域的赋值v之下的项的值递归定义如下： (