离散定义 前十章.docVIP

第一章 定义1.1设p为命题复合命题“非p”(或“p的否定”)称为p的否定式，记作(p，符号(称作否定联结词. 规定(p 为真当且仅当p为假. 定义1.2 设p,q为两个命题，复合命题“p并且q”(或“p与 q”)称为p与q的合取式，记作p∧q，∧称作合取联结词. 规定p∧q为真当且仅当p与q同时为真. 定义1.3 设p, q为两个命题，复合命题“p或q”称作p与q的析取式，记作p∨q，∨称作析取联结词. 规定p∨q为假当且仅当p与q同时为假. 定义1.4 设p, q为两个命题，复合命题“如果p, 则q”称作p与q的蕴涵式，记作p(q，并称p是蕴涵式的前件，q为蕴涵式的后件，(称作蕴涵联结词. 规定：p(q为假当且仅当p为真q为假. 定义1.5 设 p, q为两个命题，复合命题“p当且仅当q”称作p与q的等价式，记作p(q，(称作等价联结词. 规定p(q为真当且仅当p与q同时为真或同时为假. p(q 的逻辑关系：p与q互为充分必要条件 定义1.6 合式公式（简称公式）的递归定义： (1) 单个命题变项和命题常项是合式公式, 称作原子命题公式 (2) 若A是合式公式，则 ((A)也是 (3) 若A, B是合式公式，则(A(B), (A(B), (A(B), (A(B)也是 (4) 只有有限次地应用(1)—(3) 形成的符号串才是合式公式 定义1.7(1) 若公式A是单个命题变项，则称A为0层公式. (2) 称 A 是 n+1(n≥0) 层公式是指下面情况之一： (a) A=(B, B 是 n 层公式； (b) A=B(C, 其中B,C 分别为 i 层和 j 层公式， 且 n=max(i,j)； (c) A=B(C, 其中 B,C 的层次及 n 同(b)； (d) A=B(C, 其中B,C 的层次及 n 同(b)； (e) A=B(C, 其中B,C 的层次及 n 同(b). (3) 若公式A的层次为k, 则称A为k层公式. 定义1.8设p1, p2,…,pn是出现在公式A中的全部命题变项,给p1, p2,…,pn各指定一个真值, 称为对A的一个赋值或解释.若使A为1,则称这组值为A的成真赋值;若使A为0,则称这组值为A的成假赋值定义1.9将命题公式A在所有赋值下取值的情况列成表,称作A的真值表. 构造真值表的步骤: (1) 找出公式中所含的全部命题变项p1, p2, … , pn(若无下角标， 则按字母顺序排列), 列出2n个全部赋值, 从00(0开始, 按二进制加法, 每次加1, 直至11(1为止. (2) 按从低到高的顺序写出公式的各个层次. (3) 对每个赋值依次计算各层次的真值, 直到最后计算出公式的真值为止. 定义1.10 (1) 若A在它的任何赋值下均为真, 则称A为重言式或永真式; (2) 若A在它的任何赋值下均为假, 则称A为矛盾式或永假式; (3) 若A不是矛盾式, 则称A是可满足式. (真值表的用途:求出公式的全部成真赋值与成假赋值, 判断公式的类型) 第二章 定义2.1 若等价式A(B是重言式，则称A与B等值，记作A(B，并称A(B是等值式 几点说明：定义中，A, B, (均为元语言符号 A或B中可能有哑元出现. 基本等值式：双重否定律((A(A 幂等律A(A(A, A(A(A 交换律A(B(B(A, A(B(B(A 结合律(A(B)(C(A((B(C), (A(B)(C(A((B(C) 分配律A((B(C)((A(B)((A(C), A((B(C)((A(B)((A(C) 德摩根律((A(B)((A((B，((A(B)((A((B 吸收律A((A(B)(A, A((A(B)(A 零律A(1(1, A(0(0 同一律 A(0(A. A(1(A 排中律A((A(1矛盾律A((A(0 蕴涵等值式A(B((A(B 等价等值式 A(B((A(B)((B(A) 假言易位 A(B((B((A 等价否定等值式 A(B((A((B 归谬论(A(B)((A((B) ((A 范式概念：单个文字既是简单析取式，又是简单合取式 形如 p((q(r, (p(q((r 的公式既是析取范式，又是合取范式 定理2.1 (1) 一个简单析取式是重言式当且仅当它同时含有某个命题变项和它的否定式. (2) 一个简单合取式是矛盾式当且仅当它同时含有某个命题变项和它的否定式. 定理2.2(1)一个析取范式是矛盾式当且仅当它每个简单合取式都是矛盾式. (2)一个合取范式是重言式当且仅当它的每个简单析取式都是重言式. 定理2.