离散数学discrete2A编纂.docVIP

第二讲 数理逻辑 一?命题逻辑(Propositional Logic) 1. 内容概述 ·简单命题与复合命题:什么是命题?命题联结词及其含义? ·命题公式与赋值:命题逻辑公式的归纳定义,命题公式的真值表? ·等值演算:命题公式的等值赋值,重要的等值式? ·命题联结词的完备集:通过等值演算得到命题联结词的完备集和极小完备集? ·命题公式的范式:析取范式与合取范式? ·命题演算系统:使用命题逻辑公式进行推理的形式系统? ·命题演算系统的语义与命题演算系统的元性质:注意区别形式系统的语法和语义? 2. 简单命题与复合命题 ·命题(proposition):经典命题逻辑中,称能判断真假但不能既真又假的陈述句为命题? ·命题对于命题逻辑来说是一个原始的概念,不能在命题逻辑的范围内给出它的精确定义,只能描述它的性质? ·命题必须为陈述句,不能为疑问句?祈使句?感叹句等,例如下述句子为命题: 1. (3 是有理数 2. 8小于10 3. 2是素数 4. 乌鸦是黑色的 下列句子不是命题: 1. 这个小男孩多勇敢啊! 2. 乌鸦是黑色的吗? 3. 但愿中国队能取胜? 4. 请把门开一开! 下列句子不可能判断其为真或为假,所以也不是命题: 1. x + y 10 2. 我正在撒谎 ·命题必须具有真