命题逻辑考试题.pptVIP

第1章 命题逻辑 1.1 命题与命题公式 1.2 重言式 1.3 命题演算的推理规则和证明方法 1.4 命题公式的标准形式 1.5 例题 习 题 1 1.1 命题与命题公式 1.1.1 命题 人们的思维活动是靠自然语言来表达的。 然而, 由于自然语言易产生二义性, 用它来表示严格的推理就不合适了。 为了解决这个问题, 在数理逻辑中引进了一种形式化的语言, 这是一种符号语言。 定义 1.1―1 命题是能判断真假的陈述句。 例1 判断下列句子是不是命题: ((1) 人的血液是白色。  ((2) 上海是中国的一座城市。  ((3) 今年春节真热闹啊！ (4) 天在下雨。  (5) 你上网了吗？ (6) 火星上有人。  (7) 王琳是学生党员。 8）6x+3=5-7x 定义 1.1―2 不能再分解为其他命题的命题叫原子命题。 ?原子命题中的“原子”取原子的“不可再分”之意, 它是最基本的命题, 相当于自然语言的简单陈述句。 例１中除第７句外的４个命题都是原子命题, 而第７句由原子命题“王琳是学生”和“王琳是党员”组成。 例２ 下面的命题由哪些原子命题组成: (