(第十章命题逻辑.pptVIP

数理逻辑 数理逻辑 数理逻辑是用数学方法研究形式逻辑中推理规律的一种理论. 数理逻辑的研究对象： 从宏观上讲, 数理逻辑是数学的基础, 它的研究分证明论、模型论、递归论和集合论等四大理论 从狭义上讲, 它是研究形式逻辑推理规则的一门数学. 数理逻辑 数理逻辑的研究方法 采用数学的方法研究演绎性推理形式逻辑的规律. 引进一套符号体系的方法, 因此数理逻辑又称符号逻辑. 本篇内容： 命题逻辑 谓词逻辑 命题逻辑和谓词逻辑的公理化证明 第十章 命题逻辑 命题逻辑是数理逻辑的基础, 它以命题为研究对象, 研究基于命题的符号逻辑体系及推理规律, 它也可称命题演算. 10.1.1 命题 命题：能判断真假的陈述句 真值：命题的值称真值，真值有T,F两种 例： 1)雪是黑的 2) 1+101=110 3) 别的星球有生物 4) 我正在说谎 5) 天气多好啊！ 6) 我学英语, 或者我学日语 7) 明天是否开大会？ 10.1.1 命题 原子命题：最简单的不可再分的命题 复合命题：由联结词, 标点符号和原子命题复合构成的命题 一般用P,Q,R…等大写拉丁字母表示命题 命题常量：命题标识符如表示确定的命题 命题变元：命题标识符只表示任意命题的位置标志 命题变元可以表示任意命题, 所以它不能确定真值, 故不是命题 10.1.2 命题联结词 常用的5个命题联结词 1) “并且” (合取) P∧Q