文章目录

第一章
- 连接词
- 命题公式
等值演算
- 其他连接词
范式
- 主析取范式
- 主合取范式
- - 析（合）取的用途
推理逻辑
- 推理证明方法

第一章

命题：用一个陈述句表示的一个或多个为真为假，但不能同时为真又为假的判断句（或判断结果唯一的陈述句，或客观上存在唯一真值的陈述句）
命题的真值：只能是命题为“真”或“假”
例：（Y、F表示是否是命题）

1.北京是中国的首都 Y真
-2.2+3=6 Y假
请关上门。 F
除地球外的星球有生物 Y 真值确定但未知
多漂亮的花啊 F
我只给所有不给自己理发的人理发悖论

命题变量：通常用p、q、r…表示命题变量。命题变量没有真值，只有一个确定的命题后，才有真值。

可以用p表示命题“2+3=5”则p是正确的。
简单命题（原子命题）：不能分解为更简单的陈述句的命题
简单命题：”北京是中国的首都“
复合命题：有两个或几个简单句和连接词组成的命题。
复合命题：”如果明天天气好，我们就去爬山“
符号命题化：用英文字母或英文字母和连接词的组合表示命题，称为命题符号化。连接词———>连词

连接词

否定：（┐）
设p是一个命题，┐p表示一个新命题”非p“,当且仅当p为真时，p为假。
例如：p:今天时晴天 ┐p:今天不是晴天
合取（∧）
设p,q表示两个命题，p∧q可表示复合命题，”p且q“。当且仅当p和q的真值时为真时，p∧q真值为真
例如：p:今天是晴天；q:今天去公园。
p∧q:今天是晴天并且今天去公园。
析取（∨）
设p,q表示两个命题，p∨q可表示复合命题，”p或q“。当且仅当q和p同时为假的时候p∨q为假。
例如：p:今天去看电影；q:今天去公园；
p∨q今天去看电影或去公园。
注意：自然语言中的“或”有“可兼或”（同或）和“不可兼或”（异或）两种。析取连接词代表的是可兼或。异或有时候会用“⊕”来表示。
蕴含（→）
设p,q表示两个命题，p→q可表示复合命题，”如果p则q“。当且仅当p为真，q为假时，p→q的真值为假。
例如：p:今天天气晴朗;q:我们去海滩；
p→q如果今天天气晴朗我们就去海滩。
p:为蕴含前件；q:为蕴含后件
p是q的充分条件，q是p的必要条件
等价（↔）
设p,q表示两个命题，p↔q可表示复合命题，”p当且仅当q“。P↔Q为真当且仅当P、Q同时为真假。
例如：p:两个三角形是全等的；q:两个三角形的三条对应边相等
p↔q：”两个三角形是全等的当且仅当两个三角形的三条对应边相等“
优先级
（）>>┐>>∧>>∨>>→>>↔
连接词的真值表

命题公式

命题常元：代表特定的简单命题
命题变元：代表任意命题，取值为真或假的变量
命题公式
- 一个含有命题变元的命题公式的真值是不确定的
- 只有当公式中所有的命题变元被指定代表特定的命题时，命题公式才成为真命题，其真值才会被唯一确定。
公式的赋值
定义：若命题公式A含有的全部命题变元为p1,p2,p3,p4…pn,给p1,p2,p3,p4…pn指定一组真值，称为为A的一个解释或赋值。使A的真值为真的赋值称为成真赋值，使A的真值为假的赋值为成假赋值。
真值表：命题公式在所有可能的赋值下的取值的列表含n个变形的公式有2的n次方个赋值。
命题公式的分类
- 若A在它的各种情况下赋值的取值均为真，则称A为重言式或永真式
- 若A在它的各种情况下赋值的取值均为假，则称A为矛盾式或永假式
- 若至少存在一种赋值能使A的真值为真，则称A为可满足式

等值演算

等价关系式
定义：设A和B是两个命题（或命题公式），若A↔B是永真式，命题A和B称为逻辑等价的，可记作A⇔B
基本等价式

置换规则：若公式G中的一部分A(包含G中的几个连续的符号)是公式，称A为G的子公式；用与A的逻辑等价的公式B置换A不改变公式G的真值。

其他连接词

与非
或非
异或
连接词的真值

范式

范式存在定理：任何一个命题公式都存在着与之等价的戏曲范式与合取范式。

极小项
含有n个命题变元的合取中，若每个命题变元与其否定不同时出现，而二者之一必须出现且仅出现一次这样的合取式称为极小项
极大项
含有n个命题变元的析取中，若每个命题变元与其否定不同时出现，而二者之一必须出现且仅出现一次这样的合取式称为极小项

主析取范式

定义：由若干个不同的小项组成的析取式称为主析取范式，与A等价的主析取范式称为A的主析取范式。

就是析取范式的每一项都必须含有p,q,r；如果哪项没有需要加上缺少的那一项，后续步骤省略了

主合取范式

定义：由若干个不同的小项组成的合取式称为主析取范式，与A等价的主合取范式称为A的主析取范式。

析（合）取的用途

判断两个公式是否等价
求公式的成真赋值和成假赋值
判断公式的类型

含有的极大项（极小项）为2的n次方个

推理逻辑

定义：当A和B是两个命题公式，当且仅当命题A→B是重言式时（即A→B⇔T时）称从A可推出B，或A蕴含B，或B是A的结论，可以表示成A⇒B
推理理论：一般的，推理的前提可以有多个，若（A1∧A2∧…∧An）→B是重言式，则称由前提A1，A2，…，An可推出结论B，可以表示为（A1∧A2∧…∧An）⇒B

推理证明方法

推理证明规则
例题
至此命题结束了是不是很有收获呢？

离散数学复习必备（命题）相关推荐

6阶子群同构于s3或者z6_[2017年整理]离散数学复习.ppt
[2017年整理]离散数学复习 1 各章核心内容数理逻辑部分深刻理解各联结词的逻辑关系, 熟练地将命题符号化会求复合命题的真值深刻理解合式公式及重言式.矛盾式.可满足式等概念熟练地求公式的真 ...
离散数学复习资料和试题
离散数学复习资料和试题集合论 1. 集合与集合之间的关系, 元素与集合之间的关系 1．判别下列各题是否正确: (1){1,2}Í{1,2,3,{1,2,3}} 正确 (2){p,q,r}Í{ p,q ...
2019年高中数学复习必备——解析几何
本文作者:vxbomath 2019年高考剩下不到一个月的时间了,解析几何是高考考题之一,解析几何是高中数学比较难的知识点之一,本章主要讲述2019年高中数学复习必备--解析几何专题分析和习题解答. ...
考前复习必备MySQL数据库（关系型数据库管理系统）
大家好,我是魔王哪吒,话不多说,今天带来的是一篇<考前复习必备MySQL数据库(关系型数据库管理系统)>文章,欢迎大家喜欢. 前言 MySQL是一个关系型数据库管理系统,在web应用方面, ...
离散数学复习命题公式的范式
提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档文章目录析取范式和合取范式主范式.大项.小项求主范式析取范式和合取范式析取范式最外层的运算必须是析取,在上面第二点中打了括号 ...
离散数学复习数理逻辑部分
文章目录前言数理逻辑 1.命题逻辑的基本概念 2.命题逻辑等值演算 a.基本等值式 b.复合联结词 3.命题逻辑的推理理论 a.推理定律 b.推理规则 c.推理方法 4.一阶逻辑的基本概念及等值演 ...
2011考研数学概率论基础复习必备知识点
2010年的考研数学计算量相对比较大,题目与09年相比较难,虽然仍是考察学生的三基本,但是其中也比较注意对学生综合能力的考察.根据这些特点以及结合2010数学考试大纲,我对2011年春季基础复习概率论 ...
6阶群的非平凡子群_离散数学复习笔记
, 则v-e+r=2.如果图不连通,则有v-e+r=1+W(G) kuratowaski定理:G是平面图等价于它不含在2度结点内与K5或者K3,3同构的子图对偶图 1.对偶图:把S中的边对应成S'中 ...
离散数学复习/预习大纲
近期准备研究生复试又复习了一下离散,为避免以后忘记,记录如下思维导图思维导图链接 https://mubucm.com/doc/6KVQKblgMV5 注:由于本人已经大四了,很多课程都学过,故本 ...

离散数学复习必备（命题）