离散数学-大学数学网.pptVIP

（5）双条件联结词 设P,Q为二个命题变元，复合命题“P当且仅当Q” 称为P与Q的双条件，记作P ?Q， 符号?称为双条件联结词。 说明：(1) P?Q 的逻辑关系:P与Q互为充分必要条件 (2) P?Q为真当且仅当P与Q同真或同假。 运算规则：二元运算。 P Q P ? Q 0 0 1 0 1 0 1 0 0 1 1 1 * 重庆邮电大学 理学院 * 例如：（1） 2+2＝4 当且仅当 3+3＝6。 解：设P： 2 + 2 ＝ 4 ；Q： 3 + 3 ＝ 6.； 原命题符号化为：P ? Q 。 （2）1+1=2当且太阳从东边升起。 解：设P：1+1=2；Q：太阳从东边升起； 原命题符号化为： P ? Q 。 * 重庆邮电大学 理学院 * 重庆邮电大学 理学院 重庆邮电大学 理学院 离 散 数 学及其应用Discrete Mathematics 张清华 蒲兴成 尹邦勇 刘勇 重庆邮电大学 * 重庆邮电大学 理学院 * * 重庆邮电大学 理学院 离散数学类课程地位： 计算机相关专业核心课程 信息类部分专业必修课程 其它部分专业的选修课程 离散数学的后继