第一章基础：逻辑和证明1内容提要◦逻辑（logic）：思维的规律和规则，是研究推理的科学公元前四世纪由希腊哲学家亚里士多德首创◦数理逻辑：用数学方法研究逻辑，又称符号逻辑十七世纪由德国数学家莱布尼兹提出2内容提要命题逻辑数理逻辑谓词逻辑34日常使用的自然语言，往往易产生二义性：•冬天，能穿多少穿多少；夏天，能穿多少穿多少。
•中国足球，谁也打不赢；中国乒乓球，谁也打不赢。
引入形式符号体系5本节摘要◦命题（离散对象）◦命题逻辑（离散对象之间的关系）◦命题逻辑的应用6命题◦命题是一个陈述语句，可判定真假◦举例：◦月亮是绿色奶酪做的。
◦1+0=1◦别的星球有生物。
◦坐下！◦几点了？◦X+1=2。
◦我正在说谎。
7命题非命题说明：◦只有具有确定真值的陈述句才是命题。
一切没有判断内容的句子，无所谓是非的句子，如：感叹句、祈使句、疑问句等，都不是命题。
◦命题只有两种真值，“命题逻辑”又称“二值逻辑”。
◦“具有确定真值”指客观上的具有，与我们是否知道它的真值是两回事。
8命题逻辑◦命题变量：表示命题的变量，习惯上用p, q, r, s, ...表示；真命题用T表示，假命题用F表示◦命题逻辑：涉及命题的逻辑领域研究对象：复合命题由已知命题用逻辑运算符（联结词）组合而来只有成绩好和竞赛获奖的同学才能保研操作符：逻辑联结词包括[否定，合取，析取，异或，条件，双条件]9复合命题：否定联结词◦令p为一命题，则p的否定记为 p，读作“非p”，一元运算符。
命题之否定的真值表T FF T“非”放在命题最前面表意更清晰。
p：地球是圆的；p：并非地球是圆的。
p：咱们班上都是男同学；p：咱们班上都不是男同学(×)or 咱们班上不都是男同学(√)。
10◦令p 和q 为命题，p 和q 的合取（conjunction ）记作pq 。
11复合命题：合取联结词T T T T F F F T F F F F两命题析取的真值表阳光灿烂，但是正在下雨= 阳光灿烂正在下雨我在吃饭我女朋友在吃饭我和女朋友一起吃饭= 我和女朋友都在吃饭复合命题：析取联结词◦令p和q为命题，p和q的析取（disjunction）记作p q。
