离散数学第一节总结.pptVIP

1.3.4 命题的符号化 例1.28 伦敦到巴黎的第K123次列车是上午9点或10点开。 解　本命题中由两个原子命题，分别用命题符号P、Q表示为 P：伦敦到巴黎的第K123次列车是上午9点开 Q：伦敦到巴黎的第K123次列车是上午10点开 根据实际情况，可分析本例中的“或”是不可兼或，但联结词∨是“可兼或”。因此原命题不能表示为P∨Q。 从上表可看出仅用联结词中的任何一个都不能描述原命题中的不可兼或。但若将表中原命题的真值分别取反，则原命题的否定可表示为P ? Q。因此原命题可表示为﹁(P?Q)。 P Q 原命题 原命题的否定 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 小结 命题公式赋值后成为复合命题。 命题公式分为：重言式、矛盾式和非重言式的可满足式。 真值表可以判断命题公式的类型。 本小节的思维形式注记图： 练习 例. 下面命题符号化，并指出真值 (1) 只要8能被4整除, 就8能被2整除. (2) 因为8能被4整除, 所以8能被2整除. (3) 8能被4整除仅当8能被2整除. (4) 8能被4整除当8能被2整除. (5) 只有8能被4整除才有8能被2整除. (6) 除非8能被4整除才8能被2整除. (7) 除非