离散数学(命题逻辑)剖析.pptVIP

简单析取式:有限个命题变项及其否定构成的析取式 * … 如 p, ?q, p??q, p?q?r, … 简单合取式:有限个命题变项及其否定构成的合取式 如 p, ?q, p??q, p?q?r, 析取范式:由有限个简单合取式组成的析取式 A1?A2???Ar, 其中A1,A2,?,Ar是简单合取式 合取范式:由有限个简单析取式组成的合取式 A1?A2???Ar , 其中A1,A2,?,Ar是简单析取式 * 范式:析取范式与合取范式的总称? 公式A的析取范式: 与A等值的析取范式 公式A的合取范式: 与A等值的合取范式 说明： 单个文字既是简单析取式，又是简单合取式 ? p??q?r, ?p?q??r ? 既是析取范式，又是合取范式 ? 定理 任何命题公式都存在着与之等值的析取范式 与合取范式. 求公式A的范式的步骤： (1) 消去A中的?, ?（若存在） (2) 否定联结词?的内移或消去 (3) 使用分配律 ?对?分配（析取范式） ?对?分配（合取范式） 公式的范式存在，但不惟一 * 例 求下列公式的析取范式与合取范式 (1) A=(p??q)??r * 解 (p??q)??r ? (?p??q)??r （消去?） ? ?p??q??r （结合律） 这既是A的析取范式（由3个简单合取式组成的析 取式），又是A的合取范式（由一个简单析取式 组成的合取式） 解 (p??q)?r ? (?p??q)?r （消去第一个?） ? ?(?p??q)?r （消去第二个?） ? (p?q)?r （否定号内移——德?摩根律） 这一步已为析取范式（两个简单合取式构成） 继续： (p?q)?r ? (p?r)?(q?r) （?对?分配律） 这一步得到合取范式（由两个简单析取式构成） * (2) B=(p??q)?r 推理的形式结构 判断推理是否正确的方法 推理定律与推理规则 构造证明法 * 推理举例: (1) 正项级数收敛当且仅当部分和有上界. (2) 若AèCíBèD，则AíB且CíD. 推理: 从前提出发推出结论的思维过程 上面(1)是正确的推理，而(2)是错误的推理. * 定义 若对于每组赋值，或者A1ùA2ù…ù Ak 均为假， 或者当A1ùA2ù…ùAk为真时, B也为真, 则称由A1, A2, …, Ak推B的推理正确, 否则推理不正确（错误）. “A1, A2, …, Ak 推B” 的推理正确 当且仅当 A1ùA2ù…ùAk?B为重言式. 推理的形式结构: A1ùA2ù…ùAk?B 或 前提： A1, A2, … , Ak 结论： B 若推理正确，则记作：A1ùA2ù…ùAkTB. * 真值表法 等值演算法 判断推理是否正确 主析取范式法 构造证明法 证明推理正确 说明：当命题变项比较少时，用前3个方法比较方 便, 此时采用形式结构“ A1ùA2ù…ùAk?B” . 而在构造证明时，采用“前提: A1, A2, … , Ak, 结论: B”. * 重要的推理定律 A T (AúB) 附加律 (AùB) T A 化简律 (A?B)ùA T B 假言推理 (A?B)ù?B T ?A 拒取式 (AúB)ù?B T A 析取三段论 (A?B)ù(B?C) T (A?C) 假言三段论 (A?B)ù(B?C) T (A?C) 等价三段论 (A?B)ù(C?D)ù(AúC) T (BúD) 构造性二难 * 例 构造下面推理的证明： 若明天是星期一或星期三，我就有课. 若有课，今天必备课. 我今天没备课. 所以， 明天不是星期一和星期三. 解 ?设 p：明天是星期一，q：明天是星期三， r：我有课，s：我备课 推理的形式结构为 前提：(púq)?r, r?s, ?s 结论：?pù?q * 前提：