离散数学教材教学课件.pptVIP

* 4. 条件联结词(蕴涵联结词Conditional)→ 定义1.2.4 设P,Q为二命题，复合命题“如果P则Q(若P则Q)” 称为P与Q的条件命题,记作P ? Q. P ? Q为假当且仅当P为真且Q为假.称符号“?”为条件联结词。并称P为前提、假设或前件，Q为结论或后件. 联结词“?”的定义真值表 P Q P → Q 0 0 1 0 1 1 1 0 0 1 1 1 * 注： （1）P ? Q表示的基本逻辑关系是,Q是P的必要条件或P是Q的充分条件. 因此复合命题“只要P就Q”、“因为P，所以Q”、“P仅当Q”、“只有Q才P”等都可以符号化为P ? Q 的形式。 （2）P为假时，无论Q为真还是假，P ? Q都为真。 （3） “?” 属于二元(binary)运算符。 （4）给定命题P→Q，我们把Q→P， ?P→?Q，　 ?Q→?P分别叫做命题P→Q的逆命题、反（否）命题和逆反（否）命题。 * 例5. 将下列命题符号化。 （1）天不下雨，则草木枯黄。 P：天下雨。 Q：草木枯黄。 则原命题可表示为： ┐P→Q。 （2）如果小明学日语，小华学英语，则小芳学德语。 P：小明学日语 Q：小华学英语 R：小