离散数学：第二章 第3节.pdfVIP

第二章谓词逻辑 §2.3 解释和赋值 §2.1 谓词和量词 定义2.11 一个解释I 由以下四部分组成。 §2.2 项和公式 1. 指定一个非空集合DI ，称为I 的论域。 §2.3 解释和赋值 2.2. 对于每个常元对于每个常元aa 指定指定DDII 中中一个元素个元素aaI 。。 §2.4 永真式 3. 对于每个n 元函数符号f ，指定DI 上的一个n §2.5 等值演算 I 元运算f 。 §2.6 逻辑推论 作业 4. 对于每个n 元谓词符号P ，指定DI 上的一个n I 元谓词P 。 论域也称为个体域，其中的元素称为个体。论域是 在本书中，每个二元谓词符号可以解释为论域上的 变元的取值范围，它规定了全称量词的意义。 任何二元谓词，这样的谓词逻辑称为不带等词的谓 词逻辑。 解释规定了常元、函数符号、谓词符号的具体意义， 但并没有为变元规定具体的值。变元的取值由赋值 如果有一个二元谓词符号固定解释为论域上的恒等 谓词，也就是说，论域指定以后，这个二元谓词符 规定。 号的意义就唯一确定了，则称这样的谓词逻辑为带 在解释中在解释中，并不要求不同的常元解释为不同的个体并不要求不同的常元解释为不同的个体， 等等词的谓词逻辑。我们只讨论不带等等词的谓词逻辑。 不要求不同的函数符号解释为不同的运算，也不要 求不同的谓词符号解释为不同的谓词。 一个解释是由四部分构成的，即使两个解释的论域 相同，而对常元、函数符号、谓词符号的解释不完 全相同，也不能认为它们是同样的解释。 定义2.12 从所有变元组成的集合到解释I 的论域 假设程序中的变元（量）都是简单变量，并且取值 DI 的函数称为I 中的赋值。 范围都是论域，则一个赋值即是某时刻变量取值的 设v 是解释I 中的赋值，x 1,…, xn 是不同变元， 状态。如果赋值语句(x ,…, x ) := (d ,…, d ) 执行 d ,…, d 是D 中元素，则赋值v [x /d ,…, x /d ] 1 n 1 n 1 n I 1 1 n n 将d ,…, d 分别赋予变元x ,…, x ，而对其它变元 前的状态是v ，则该赋值语句执行后的状态就是 1 n 1