离散数学.pptVIP

 第一章 命题逻辑 这章是以“命题”为中心 主要讨论： 命题的表示、命题的演算 命题演算中的公式，及其应用 命题逻辑推理 1-1. 命题与命题的真值 本节主要讨论三个问题： 命题的概念 命题的真值 原子命题与复合命题 一. 命题的概念 Statement 命题 是一个能确定是真的或是假的判断。 （判断都是用陈述句表示） 例1-1.1 判定下面这些句子哪些是命题。 ⑴ 2是个素数。 ⑵ 雪是黑色的。 ⑶ 2010年人类将到达火星。 ⑷ 如果 ab且bc，则ac 。(a、b、c是确定实数) ⑸ x+y5 ⑹ 请打开书！ ⑺ 您去吗？ ⑴⑵⑶⑷是命题 二.命题的真值 Truth 一个命题所作的判断有两种可能：是正确的判 断或者是错误的判断。 所以一个命题的真值有两个：“真”或“假”。 真值为真:一个命题所作的判断与客观一致，则 称该命题的真值为真,记作T (True)。 真值为假:一个命题所作的判断与客观不一致， 则称该命题的真值为假,记作F (False)。 例1-1.1中(1)(4)的真值为真,(2)的真值为假, (3)暂 时不能定，等到2010年确定。 三. 简单命题与复合命题 简单命题 (