离散数学及其应用第3章-命题演算与推理(上).ppt

* 计算机应用技术研究所 * 公式的分类 永真式G的否定?G是矛盾式； 矛盾式G的否定?G是永真式。 永真式一定是可满足式; 可满足式不一定是永真式 可满足式的否定不一定是矛盾式 三种特殊公式之间的关系： * 计算机应用技术研究所 * 公式的分类 三种特殊公式之间的关系： * 计算机应用技术研究所 * * * 例 题 【例】写出下列公式的真值表，并验证其公式是永真式、永假式、可满足公式。 （1）G1=(Ｐ→Ｑ)?(?Ｐ∨Ｑ)； （2）G2=(Ｐ?Q)?(?(Ｐ→Q)∨?(Q→Ｐ))； （3）G3=(P→?Q)∨?Q。 * 计算机应用技术研究所 * * * 例 题 命题公式与等值演算 命题公式的基本知识 等值关系与等值演算 公式的内否与对偶 * 计算机应用技术研究所 * 命题公式与等值演算 【例题】使用真值表分析如下两个命题公式在真值取值上的联系： P→(Q→P)；?P→(P→?Q) 【解】写出公式P、Q、?P、?Q、Q→P、P→(Q→P)、P→?Q、?P→(P→?Q)的真值表，如表所示： * 计算机应用技术研究所 * 命题公式与等值演算 从真值表可以看出：公式P→(Q→P)和?P→（P→?Q)的取值在命题变元的所有取值状态下均保持一致。 * 计算机应用技术研究所 * 公式等值的定义 【定义】A、B是含有命题变元P1,P2,…, Pn的命题公式，如不论对P1, P2 , …, Pn作任何指派，都使得A和B的真值相同，则称之为命题公式A与B等价或等值，记作A?B。 显然有： ?P∨Q?P?Q (P∧Q)∨(?P∧?Q)?P?Q * 计算机应用技术研究所 * 例题 【例题】判断命题公式P→(Q→R)与命题公式(P∧Q)→R是否是等值关系。 【分析】要判断上述两个命题公式是否等值，可以通过真值表枚举方式比较两个公式的真值在任意解释下是否都相同。 【解】写出公式P、Q、R、P→(Q→R)、(P∧Q)→R的真值表，如表所示。 * 计算机应用技术研究所 * 例题 通过上表，不难看出P→(Q→R)与(P∧Q)→R是等值关系 * 计算机应用技术研究所 * 观察下列真值表 P Q ?P ∨Q P ?Q （P ∧ Q）∨（ ?P ∧ ? Q ） P ?Q F F T T T T F T T T F F T F F F F F T T T T T T 是否发现什么问题？ ?P ∨Q ＝P ? Q ？ （P ∧ Q）∨（ ?P ∧ ? Q ） ＝P ?Q ？ 公式的等值关系 * 计算机应用技术研究所 * 命题公式与等值演算 【定理】对于命题公式A和B，A?B的充分必要条件是公式A?B?T。 【证明】 首先证明充分性：若A?B?T，则该式表示在任一组真值指派下公式A?B的值均为真，或者 A、B的真值都一定相同，故公式A和B等值，即有A?B。 再证必要性：若A?B，则A、B在任何解释下均有相同的真值，也就是说A?B在任何解释下均为真，或者说A?B与T有相同的真值，即有A?B?T。 * 计算机应用技术研究所 * ?与?的区别 * 计算机应用技术研究所 * 命题公式与等值演算 * 计算机应用技术研究所 * 命题公式与等值演算 * 计算机应用技术研究所 * 等值的性质 可以证明，命题公式的等值关系有如下性质： (1) 自反性，即对任意命题公式A， A?A (2) 对称性，即对任意命题公式A和B，若A?B，则B?A (3) 传递性，即对任意命题公式A，B和C，若A?B，B?C，则A?C (4) 如果A(P1,P2,…,Pn)?B(P1,P2,…,Pn)，则： A(?P1,?P2,…,?Pn)?B(?P1,?P2,…,?Pn) * 计算机应用技术研究所 * 例 题 【例题 】证明语句“不会休息的人不会工作， 没有丰富知识的人也不会工作”， 与语句“工作得好的人一定会休息并且有丰富的知识”， 具有相同的逻辑含义。 * 计算机应用技术研究所 * 例 题 * 计算机应用技术研究所 * 基本等值式 * 计算机应用技术研究所 * 基本等值式 * 计算机应用技术研究所 * 基本等值式 以上共24个等值式都可用真值表证明。下面仅验证德摩根律： ?(A∨B)??A∧?B A∨B A B ?A ?B ?A∧?B ? (A∨B) 0 0 1 1 1 0 1 0 1