离散数学(第二讲.ppt

离散数学（第二讲） ∧ ∨ ? ? ? ? ? 1.3.1 命题公式的定义 一般地，我们可以选用我们喜欢的一个符号来代表一个命题，比如P 然而，如果在没有任何实际背景的前提下，写出一个符号P，不能说它是一个命题，因为P可以表示任何事物 此时为了确切起见，称P是一个命题变元，相应的一个命题称为命题常元 显然，一个命题变元不是命题 一个符号到底是表示一个命题还是一个命题变元，需要根据上下文来确定 当A、B是命题变元时， （ ?A ）， (A∧B),(A∨B),(A→B)和(A?B)等都称为命题公式 我们总是可以用命题变元、联结词以及圆括号构成一些符号串，但并非所有这样构成的符号串都有意义 命题公式的构成必须遵循一定的规则 一个公式不是命题，因此也没有真值（为什么？） 答：因为如果在没有任何实际背景的前提下，公式中的命题变元可以表示任何事物，显然，一个命题变元并不是命题 如果把公式中的所有简单命题变元都替换成命题，则相应得到一个确切的真值。 1.3.2 公式的解释 定义1.3.2 将公式A中的所有命题变元用命题替换,称为公式对公式A进行一种解释,或称为对A进行一种真值指派. 例1.3.3 设公式A为(﹁ P?Q) →R，将P,Q,R分别用1,1,1替换，得到A的一种解释 按照命题变元出现的顺序，将这种解释记为111 同理，110,101,100,011,010,001,000都是A的解释 一般地，若公式A中有n个不同的命题变元，则A共有2n种不同的解释。 可用表将公式(﹁ P?Q) →R的所有解释及改公式在相应解释之下的真值情况清晰地刻画出来，如表1.3.1（p8） 这样的表称为真值表 1.3.2 公式的解释 定义1.3.3 用一个表将公式A的各种解释及在相应解释之下A的取真值情况列举出来,这样的表称为A的真值表. 例1.3.4 写出(P∨Q)∨﹁Q的真值表. 1.3.2 公式的解释 例1.3.5写出(P∧Q) ∨(﹁ P ∧﹁ Q)的真值表 例1.3.6写出(﹁ P∨Q) ?(P →Q)的真值表 例1.3.7写出(﹁P∧﹁Q) ?﹁ (P ∨ Q)的真值表 例1.3.8写出P ∧﹁P的真值表 公式A中如果有n个命题变元,则它的真值表除了表头外就相应有2?行,当n较大时,表也较大,列表时就易出错.怎样准确而快速地写出真值表呢?我们做如下约定: (1) 命题变元按英文字母顺序排列,P,Q,R…带有下标的则按下标由小到大的顺序排列,如P1,P2,… (2) 公式的每种解释构成一个二进制数,将这些二进制数按由小到大的顺序列出,相应写出公式在对应解释之下的真值情况. (3) 遵循由简单到复杂,由括号里面到外面的原则.比如在例1.3.5中,先写出简单的﹁P, ﹁Q,括号里面的P∧Q, ﹁P∧﹁Q,再写出公式(P∧Q)∨(﹁P∧﹁Q)对应的真值. 1.4 公式的等价 1.4.1公式等价的基本概念 1.4.2基本等价公式 1.4.3等价演算 1.4.4公式的类型 1.4.1 公式等价的基本概念 例1.4.1 讨论公式 P 和 P ∧(P∨Q)的关系 解：写出二者的真值表 在每一种解释下，公式P和P ∧(P∨Q)对应真值都完全一样，称二者是等价的。 1.4.1 公式等价的基本概念 定义1.4.1 设A和B是两个公式,如果在每一种解释之下,A和B的真值都相同,则称A和B等价,或称A和B等值,或称逻辑相等,记作A ? B. 利用真值表可以判断两个公式是否等价 例1.4.2 P ?Q ? ? Q? ?P 例1.4.3 P ? Q ? (P ∧ Q) ∨ (? P ∧ ? Q) 例1.4.4 P ? Q ? (P ? Q) ∧ (Q ? P) 注意： ?并不是一个联结词，而是刻画了两个公式A和B之间的一种关系，因而不能随意地使用?，并非任何两个公式A和B，都可以有A ? B。 1.4.1 公式等价的基本概念 公式之间的等价具有如下性质: (1)自反性,即任何公式A,都有A ? A; (2)对称性,即对公式A和B,如果A ? B,则B ? A; (3)传递性,即对公式A,B,C,如果A ? B且B ? C,则A ? C. 1.4.1 公式等价的基本概念 1.4.2 基本等价公式(见书13) 5种基本的逻辑联结词，实际上都是命题之间以及公式之间的运算 打破思维定势，记忆公式从左至右，从右至左 分配律：外面的进去，里面的出来 吸收律：多者生存 利用基本等价公式，我们可以采用等价演算而非真值表的方式判断两个公式是否等价 1.4.3 等价演算 定义1.4.2 设A是一个公式,A’是A的一个连续部分,若A’也是一个公式,则称其为A的一个子公式. 定理1.4