离散数学05044.pptVIP

计算机科学与技术 1.6 永真蕴涵式 * 内容：永真蕴涵式的定义，基本永真蕴涵式，证明永真蕴涵式的方法。 重点：(1) 掌握永真蕴涵式的定义。 (2) 熟记基本永真蕴涵式。 本节主要内容、重点及难点 难点：基本永真蕴涵式的记忆，等值式的证明。 (3) 能用证明永真蕴涵式的几种方法证明等值式。 1.6.1 基本永真蕴涵式 定义1.27 设Ａ,Ｂ是命题公式，若Ａ→Ｂ是永真式，则称Ａ永真蕴涵Ｂ，记为Ａ?Ｂ。其中符号?称为永真蕴涵符号 注意符号 “?” 与“→”的区别。 永真蕴涵式又称逻辑蕴涵式(logically implication) 定理1.16 设A，B，C是任意命题公式，则有下列基本永真蕴涵式： (A ∨ B) ∧ (A → C) ∧ (B → C) ? C I13 (A → B) ∧ (B → C) ? (A → C) I12 ﹁B ∧(A → B) ? ﹁A I11 ﹁ A∧(A∨B) ? B， A ∧(A → B) ? B I9，I10 ﹁(A → B) ? A ， ﹁ (A → B) ? ﹁B I7，I8 ﹁ A ?(A → B)， B ?(A → B) I5，I6 A ?(A∨B)， B ?(A ∨ B) I3，I4 (A∧B) ? A， (A ∧ B) ? B