- 1、本文档共6页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
命题的概念及符号化.pdf
计算机科学 MOOC 课程群
计算机科学 MOOC 课程群
离散数学基础
离散数学基础
命题逻辑研究以命题为基本单位构成的前提和结论之间的可推导关系。我们将讨论
命题逻辑的基本概念,以及基于命题的真值解释实行演绎的等值演算和自然推理演
算。这一节从命题的概念和符号化开始。
命题的概念
− 一个命题是一个非真即假的陈述句。
» 命题具有真假值,而且非真即假
» 陈述句限定源于命题的判断属性
» 或然性的排除
» 命题的真假判定问题:真假的常识性影响;真假的时间性影响;判定方法
的存在性。
• 定义:简单命题(原子命题)
− 简单命题只对一个事物的一个性质进行判断。
» 例:雪是白的。
» 例:我下午在图书馆。
» 例:张三和李四是表兄弟。
» 例:他的粗鲁的态度使我受到了深深的伤害。
− 简单命题的语义真值由客观事实决定。
• 定义:复合命题
− 从语法结构上可分解成若干简单命题的命题是复合命题
» 例:我下午在图书馆,或者去打球。
» 例:如果明天不下雨,我们就去白云山。
» 例:我们明天去白云山,除非天下雨。
• 定义:复合命题
− 从语义上可分解成若干简单命题的命题是复合命题
» 例:张三和李四都是中大学生。
− 复合命题由若干简单命题通过命题联结词构造而成,其语义真值也由之确定。
• 命题的符号化表示
− 定义:命题常量
» 一个命题常量是一个表达了具体的命题内容的命题,可使用一个形式符号
p 来表示。
» 例:p :张三是中大学生。
» 此时符号 p 具有了明确的语言含义,称之为一个命题常量。命题常量是一
个命题。
• 命题的符号化表示
− 定义:命题变量/命题形式
» 在符号体系中,当我们只关心对象的位置关系(而不关心对象的语言解释)
时,可使用符号来表示对象。
• 命题的符号化表示
− 定义:命题变量/命题形式
» 使用一个形式符号 P 表示“在描述位置上有一个命题” ,而并不指出该命题
的内容或真假。 这样的符号 P 称为一个命题变量 (命题变元、命题变项),
或一个命题形式。
» 显然一个命题变量没有真假值,它不是命题。
• 命题的符号化表示
− 定义:命题变量/命题形式
» 当命题变量表示的命题内容得到确定时,称该变量获得指派(被赋值)。
此时该变量取得了真假值,成为一个命题。
» 为陈述方便起见,我们后面所说的“命题 P ” ,一般指的就是命题形式,除
非有特别的语义声明。
• 命题的符号化表示
− 定义:真值
» 命题或命题变量的取值情况称为该命题或命题变量的真值。
» 通常用 0 或 F 表示“为假” ,用 1 或 T 表示“为真” 。
• 复合命题的符号化表示
− 现在,我们可以用一个形式符号 P 表示一个原子命题,而并不指出该命题的
内容或真假。
− 为将命题的符号化表示用于复合命题,需要引进所谓的命题联结词以描述原子
命题及其构造关系。
命题联结词也称为命题运算符,具有严格的逻辑含义,以求保证符号系统的语义与
其原有自然系统语义的一致性。我们讨论的联结词包括 :否定词 ¬ ,合取词 ∧ ,
析取词 ∨,条件词 → (蕴含词)和双条件词 ↔ (等价词)
• 否定词 ¬
− 定义:设 P 为一个命题,则 ¬P 也为一个命题,称为 P 的否定。其逻辑意义
为:
P ¬P
F T
T F
• 否定词 ¬
− 对否定词 ¬ 的自然语言解释:
» 例1 :
您可能关注的文档
最近下载
- 高血压合并冠心病患者血压管理中国专家共识.pdf
- (2024年新教材)部编版一年级道德与法治上册《课余生活真丰富》教案.docx VIP
- 玻璃纤维增强水泥外墙板 JC/T 1057-2007.pdf VIP
- 机器人教育未来发展趋势研究.docx VIP
- 《疯狂动物城》全本台词中英文对照.docx VIP
- 安川GA500小型高功能型变频器产品技术手册.pdf
- 某大型建筑集团企业财务一体化平台解决方案V2.0.pptx
- 动漫游戏IP衍生品开发策划书.pptx VIP
- 2024年福建省普通高中会考物理学科考试大纲.docx
- 2016年下半年软件水平考试(高级)系统架构师下午(论文)真题试卷.doc VIP
文档评论(0)