命题逻辑的应用.pptVIP

 命题逻辑应用 及习题课 推理证明(形式证明)下列各式: (1) (2) ?A∨B, C→?B ?A→?C (3)(A→B)∧(C→D),B→E, D→F,?(E∧F),A→C??A (4) S→?Q,?R→Q,?R??(?R→S) 形式证明（推理）下列论述： 如果今天是星期四，那么有一次离散数学测验或大学英语测验。如果大学英语老师生病，那么没有大学英语测验。今天是星期四并且大学英语老师生病，所以，我们有一次离散数学测验。 由红、黄、蓝、白四队进行桥牌对抗赛。如果红队第三，则当黄队第二时，蓝队第四；或者白队不是第一，或者红队第三；事实上，黄队第二。因此，如果白队第一，那么蓝队第四。 李明或王平参加这场排球賽，那么红队一定赢这场球赛，如果红队赢了这场球赛，红队将参加全校冠亚军决赛。但红队未能进入全校决赛，故此李明或王平没有参加这场排球赛。 如果乙不参加篮球赛，那么甲就不参加；如果乙参加篮球赛，那么甲和丙就参加；因此，如果甲参加球赛，那么丙就参加。 如果李敏来华工，若王军不生病，则王军一定去看李敏。如果李敏出差广州，则李敏一定来华工。王军没有生病，所以，如果李敏出差广州，王军一定去看望李敏。 二、 组合电路 命题逻辑的知识在日常生活和工程技术中应用非常广泛，特别在组合电路设计中更是如此。为了今后逻辑电路设计的需要，现将与命题逻辑联结词对应的门电路罗列于下： 门电路 命题表示 逻辑代数表示 F=(（P∨Q）∧┐(┐P∧(┐Q∨┐R))) F=((P∨Q)∧┐(┐P∧(┐Q∨┐R)))∨(((┐P∧┐Q)∨(┐P∧ ┐R))∧(Q∧R)) ?((P∨Q)∧(P∨(Q∧R)))∨((┐P∧(┐Q ∨ ┐R))∧(Q∧R)) ?((P∨Q)∧((P∨Q)∧(P ∨ R))∨((┐P∧┐(Q∧R))∧(Q∧R)) ?((P∨Q)∧(P∨R))∨0 ?((P∨Q)∧(P∨R)) ?(P∨(Q∧R)) ?P∨(Q∧R) （二）、电路的等价变换 在电路设计中，为了减少逻辑电路的故障，便于维修，尽量采用统一的元器件。最常用的元件是“与非门”器件。如逻辑电路如下： (三)、全加器的设计 计算机的加法运算可归结为二进制数码的相加运算，全加器中某一位是由被加数和加数对应位及低一位进位相加而成，同时还要处理该位相加后向高位进位的问题。假设P和Q为相加两数第i位的数码，R为i-1位向第i位的进位，S是P 、Q 、R 相加后在本位得到的数码，J是第i位向第i+1位的进位数码。 其运算真值如下： 利用等价变换化简J： J=(┐P∧Q∧R)∨(P∧Q∧R)∨(P∧┐Q∧R)∨(P∧Q∧R)∨(P∧Q∧┐R)∨(P∧Q∧R) ?((┐P∧Q∧R)∨(P∧Q∧R))∨((P∧┐Q∧R)∨(P∧Q∧R))∨((P∧Q∧┐R)∨(P∧Q∧R)) ?(P∧Q)∨(P∧R)∨(Q∧R) S无法化简 所以全加器逻辑电路图如下： * 一、命题逻辑在刑侦推理的应用 [例1] 在一起凶杀案中，侦查人员了解到以下一些情况： （1）凶手是甲或乙或丙； （2）只有是盗窃杀人案，甲才是凶手； （3）如果是盗窃杀人案，那么被害人的财物会丢失； （4）如果乙是凶手，那么案件发生在中午12点以后； （5）案件发生在中午12点以前，并且被害人的财物没有丢失。 问：谁是凶手？ 解 简单命题用符号表示如下： P：甲是凶手 Q：乙是凶手 R：丙是凶手 S：本案是盗窃杀人案 T：被害人的财物丢失 U：案件发生在中午12点以后 前提: P∨Q∨R, P→S, S→T, Q→U, ?U∧?T 前提: P∨Q∨R, P→S, S→T, Q→U, ?U∧?T 推理如下： （1） ?U∧?T P 前提引入 （2） ?U T(1)I 化简 （3） Q→U P 前提引入 （4） ?Q T(2)(3)I 拒取 （5） ?T T(1)I 化简 （6） S→T P 前提引