第二章逻辑和证明.pptVIP

第二章 逻辑和证明 数理逻辑：用数学的方法研究逻辑推理 数理逻辑的目标：逻辑推理机械（演算）化 数理逻辑的基本方法：符号化 德国数学家、哲学家莱布尼兹是公认的数理逻辑的创始人 数理逻辑在计算机科学中发挥着重要的作用，计算机科学的发展也推动了数理逻辑的发展 2.1 命题 辑推理的前提和结论都是关于某些事物的判断（陈述） 命题：有确定的（能判定）真、假性的陈述句 真命题：是真的命题 假命题：是假的命题 数理逻辑的基本成分 例 判断下列句子是否是命题以及真假性 1. 2+4=8 假命题 2. 北京是中国的首都。 真命题 3.华盛顿是美国的首都。 真命题 4. x+1=4 不是命题 5.公园里的人真多啊！ 不是命题 6.请勿吸烟！ 不是命题 7.小红今天去学校吗？ 不是命题 8.明年二月五日下雨。 不是命题 9.火星上存在生命。 假命题 10.本句子是假的。 不是命题 命题符号化：用字母来表示命题，常用小写字母表示原子命题（p、q、r、s） 比较：代数中用字母表示变量 例 p：2+4=8 q：水是液体 命题的真值：命题的