PM讲义-第2章-数理逻辑基础 (1).pptVIP

第二章 数理逻辑基础 命题逻辑 谓词逻辑 文本代换 2.1 命题逻辑 什么是命题？ 命题为具有确定真假意义的陈述句。 命题必须具备二个条件： 其一，语句是陈述句； 其二，语句有唯一确定的真假意义。 联结词 “?” 否定联结词 P是命题，?P是P的否命题 是由联结词 ? 和命题P组成的复合命题 一元命题 联结词 “?” 合取联结词 P?Q是命题P，Q的合取式 是“?”和P，Q组成的复合命题 “?”在语句中相当于“不但…而且…” P?Q取值1，当且仅当P，Q均取1 P?Q取值为0，只要P，Q之一取0. 联结词 “?” 析取联结词 P?Q是命题P，Q的析取式 联结词“?” 表示相容或 P?Q取值1，只要P，Q之一取值1，P?Q取值0，只有P，Q都取值0. “??” 不可兼析取(异或)联结词 ??表示不相容的或 即“P??Q”?“?P?Q?P??Q”. 联结词 “?” 等价联结词 P?Q是P，Q的等价式 “?”在语句中相当于“…当且仅当…” P?Q取值1当且仅当P，Q取值相同. 联结词 “?” 蕴含联结词 “?”在语句中相当于“如果P，那么Q” P?Q取值为0，只有P取值为1，Q取值为0时 其余各种情况，均有P?Q取值为1 1?0的真值为0 0?1，1?1，0?0的真值均为1. 联结词运算的优先次序 ? ? ? ? ? 命题定律 一种状态下命题的值 定义1：状态是标识符集到值T和F上的一个函数。例： 令状态s是由{(a,F)，(b,T)，(c,T)}定义的函数 s(a)=F, s(b)=T , s(c)=T 定义2：如果命题e中的每个标识符在状态s下都有对应的值T或F，则称命题e在状态s下是有意义的。 一种状态下命题的值 定义3：设命题e在状态s中是有意义的，那么在状态s中命题e的值s(e)是这样得到的： 将命题e中的所有标识符用它在状态s中的值代入 这样就变成一个常量命题，由此计算出命题的值。 例： 令： s={(b,T)，(c,F)}, e= ?b ? c 则：s(e)= ?T ? F = F 作为状态集的命题 一个命题值的真假完全由状态决定。 反过来，可以用命题描述状态（集）。 对于任何一个命题e，存在和这个命题对应的一个使该命题为真的状态集，所以可用这个命题当作这个状态集的描述。 但是一个状态集对应多个命题。即用命题描述状态是不唯一的。 作为状态集的命题 例： 两个状态{(b,T),(c,T),(d,F)}和{(a,T),(b,F)} 用命题(b ? c ? ? d) ? (a ? ? b)来表示。 用命题T表示状态集的全集 用命题F表示空集 2.2 谓词逻辑 谓词的描述 将命题进行下面的扩展就成为谓词： 将命题中标识符由任何具有T和F值的表达式（如xy）替代 在命题中引进量词?、?等。 例((x=y) ?(yz)) ? (x+yz) 谓词的求值 例：令S={(x,1),(y,3),(z,5),(b,T)} e = ((x=y) ?(yz) ?(x+yz) ?b) 则：S(e)= (1=3) ?(35) ?(1+35) ?T)=T 量词 存在量词? （Existential Quantification） (?i: m=in:Ei) ? (Em ?Em+1 ?… ?En-1) 读做：“至少存在一个整数i，满足i在m和n-1之间，使得Ei成立” 全称量词?（Universal Quantification） (? i: m=in:Ei) ? (Em ? Em+1 ? … ? En-1) (? i: m=in:Ei) ? ?(?i: m=in: ? Ei) 自由标识符和受约束标识符 (? i: m=in:x*i0)等价于 (x0 ? m0) ?(x0 ? n=0) 即该谓词的值依赖于m,n,x，而不依赖于i。事实上，i可以不在谓词中出现，而将i用j替换不会改变谓词的值。 即m，n，x和i所起的作用不同。 我们把m,n,x,称为自由标识符，而像 i 这样的标识符称为受约束的标识符。 自由标识符和受约束标识符 在一个表达式中 一个标识符不可以既是受约束的又是自由的 也不可以同时受到两个不同的量词的约束 例： i0 ?(? i: m=in:x*i0) (? i: m=in:x*i0) ? (? i: m=in:y*i0) 2.3 文本代换 定义： 设E和e是表达式，x是标识符 则记号Exe表示E中所有自由出现的x同时用e来代换而得到的表达式。 为有效起见，代换必须产生一个语法正确的表达式。如果代换可能使e中的某个标识符变成受约束的，那么应在代换之前将E中的标识符做适当的改变，以免产生矛盾。 文本代换举例 E