第九章离散数学.pptVIP

三、命题公式的蕴含关系 定义9-11 设A，B是两个公式，若公式A?B是重言式，即A?B?1，则称公式A蕴含公式B，记作A?B。称“A?B”为蕴含式。 注意：符号“?”和 “?”的区别和联系与符号“?”与“?”的区别和联系类似。 “?”不是联结词， “A?B”不是公式，它表示公式A与B之间存在蕴含关系。 “?”是联系词，A?B是一个公式。 A?B当且仅当A?B是永真公式 。 A?B是偏序关系 即 自反性：A?A。 反对称：若A?B，B?A，则A?B。 传递性：若A?B，B?C，则 A?C。 反对称性的证明： 设A?B且B?A， 由定义7-11 A?B?1且B?A?1 于是A?B?(A?B)?(B?A) E14 ? 1?1 ? 1 因此 A?B 传递性的证明： 设A?B，B?C， 则A?B?1，B?C?1 ? (?A?B?C)?(?A??B?C) ? ((A?B) ?C)?(?A?(B?C)) ? (1?C)?(?A?1) ? 1?1 ? 1