PM-06-Chap02-数理逻辑基础幻灯片.pptVIP

鲍玉斌 计算机软件所 程序设计方法学 2005年3月2日星期三 鲍玉斌 计算机软件所 程序设计方法学 * 第2章 数理逻辑基础 一、命题 1. 定义：命题是按下列规则构成的： T和F是命题 一个标识符是命题 如果b是一个命题，那么（?b）是命题 如果b和c是命题，那么（b?c）、（ b ? c ）、 （ b ? c ） 、 （ b = c ） 是命题。 2005年3月2日星期三 鲍玉斌 计算机软件所 程序设计方法学 * 一、命题 2. 一种状态下命题的值 定义1：状态是标识符集到值T和F上的一个函数。例： 令状态s是由{( a,F ) ，(b,T)，(y,T)}定义的函数，用s(a)=F, s(b)=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 2005年3月2日星期三 鲍玉斌 计算机软件所 程序设计方法学 * 一、命题 作为状态集的命题 一个命题值的真假完全由状态决定。反过来，可以用命题描述状态（集）。对于任何一个命题e，存在和这个命