01-数理逻辑.pptVIP

第1篇　数理逻辑 数理逻辑 逻辑学分为辨证逻辑与形式逻辑两种 。 用数学方法来研究推理的规律称为数理逻辑 现代数理逻辑分为四论、两演算 四论：证明论，递归论（它们与形式语言语法有关），模型论，公理化集合论（它们与形式语言的语义有关）。 两演算：命题演算、谓词演算 第 1 章 命题逻辑 1.1 命题及其表示 1.2 逻辑联结词 第 1 章 命题逻辑－＞1.1 命题及其表示 定义1.1.1 能够判断真假的陈述句称为命题（Proposition）。命题的判断结果称为命题的真值，常用 1 （或大写字母 T ）表示真，用 0 （或大写字母 F ）表示假。凡是与事实相符的陈述句即真值为真的命题称为真命题，而与事实不符合的陈述句即真值为假的命题称为假命题。 从这个定义可以看出命题有两层含义： (1) 命题是陈述句。其他的语句，如疑问句、祈使句、感叹句均不是命题； (2) 这个陈述句表示的内容可以分辨真假，而且不是真就是假，不能不真也不假，也不能既真又假。 第 1 章 命题逻辑－＞1.1 命题及其表示 例1：判断下列语句是否为命题，若是并指出其真值。 （ 1 ）北京是中国的首都。 　真命题 （ 2 ）2是偶数且3也是偶数。 假命题 （ 3 ）2+2=5 。 　　假命题 （ 4 ）请勿吸烟! 　　不是命题 （ 5 ）乌鸦是黑色的吗？ 不是命题 （ 6 ）这个小男孩多勇敢啊！