第1章 基础:逻辑和证明 部分内容
简介
我为什么要写这个呢?因为我信奉一点,纸质材料肯定会丢失的,所以我在尽量将内容转化成电子文档。至于为社么不选择OneNote,有道云笔记之类的,就是想以博客更新的方式催促自己可以坚持下去,过个1年,2年来看自己当初的付出,那是真的会很爽的,特别是希望自己到时候能感受到自己现在的努力或者犯傻。
再来是下面的内容来自哪里呢?来自《离散数学及其应用》。
接着是下面的公式是怎么写的呢?LaTex。
最后就是下面的内容类似我的读书笔记之类的,让我以后需要的时候可以拿来翻翻,所以类似总结,说明很少。
1.1 命题逻辑
∧合取∨析取\wedge 合取 \\ \vee 析取 ∧合取∨析取
p⊕q真值表p \oplus q\ 真值表 p⊕q 真值表
p | q | 异或 |
---|---|---|
T | T | F |
T | F | T |
F | T | T |
F | F | F |
p⟶q真值表/蕴含p \longrightarrow q\ 真值表 / 蕴含 p⟶q 真值表/蕴含
p | q | 条件语句 |
---|---|---|
T | T | T |
T | F | F |
F | T | T |
F | F | T |
可以结合下面的例子来理解:
- p:张生如果高中
- q:张生娶崔莺莺
问,在什么情况下张生食言了?
情况 | p | q | 条件语句 |
---|---|---|---|
1 | 张生高中 | 娶崔莺莺 | 张生没有食言 |
2 | 张生高中 | 没有娶崔莺莺 | 张生食言了 |
3 | 张生没有高中 | 娶崔莺莺 | 张生没有食言,他娶了崔莺莺 |
4 | 张生没有高中 | 也没有娶崔莺莺 | 张生本质上没有食言,他的确没高中 |
其中可能有人会在3和4之间纠结,因为觉得3也应该算张生食言了,但是和情况2比较,你觉得哪个更像张生食言了?
逻辑运算优先级
可以这么理解,逆类似负数的符号,优先级肯定是最高的。
接下来的就是合取优先级高于析取。
最后就是蕴含。
1.3 命题等价式
衡等律
p∧T≡pp∨F≡pp\wedge \textbf{T} \equiv p \\ p \vee \textbf{F} \equiv p p∧T≡pp∨F≡p
支配率
p∨T≡Tp∧F≡Fp \vee \textbf{T} \equiv \textbf{T} \\ p \wedge \textbf{F} \equiv \textbf{F} p∨T≡Tp∧F≡F
幂等律
p∧p≡pp∨p≡pp \wedge p \equiv p \\ p \vee p \equiv p p∧p≡pp∨p≡p
双重否定率
¬(¬P)≡p\neg ( \neg P ) \equiv p ¬(¬P)≡p
交换律
p∨q≡q∨pp∧q≡q∧pp \vee q \equiv q \vee p \\ p \wedge q \equiv q \wedge p p∨q≡q∨pp∧q≡q∧p
结合律
(p∧q)∧r≡p∧(q∧r)(p∨q)∨r≡p∨(q∨r)( p \wedge q ) \wedge r \equiv p \wedge ( q \wedge r ) \\ ( p \vee q ) \vee r \equiv p \vee ( q \vee r ) (p∧q)∧r≡p∧(q∧r)(p∨q)∨r≡p∨(q∨r)
分配率
(p∨r)∧(q∨r)≡(p∧q)∨r(p∧r)∨(q∧r)≡(p∨q)∧r(p \vee r) \wedge (q \vee r) \equiv ( p \wedge q ) \vee r \\ (p \wedge r) \vee (q \wedge r) \equiv ( p \vee q ) \wedge r (p∨r)∧(q∨r)≡(p∧q)∨r(p∧r)∨(q∧r)≡(p∨q)∧r
德 摩根率
¬(p∧q)≡(¬p)∨(¬q)¬(p∨q)≡(¬p)∧(¬q)\neg ( p \wedge q ) \equiv (\neg p) \vee (\neg q) \\ \neg ( p \vee q ) \equiv (\neg p) \wedge (\neg q) ¬(p∧q)≡(¬p)∨(¬q)¬(p∨q)≡(¬p)∧(¬q)
吸收率
p∨(p∧q)≡pp∧(p∨q)≡pp \vee (p \wedge q) \equiv p \\ p \wedge (p \vee q) \equiv p p∨(p∧q)≡pp∧(p∨q)≡p
否定率
p∨¬p≡Tp∧¬p≡Fp \vee \neg p \equiv \textbf{T} \\ p \wedge \neg p \equiv \textbf{F} p∨¬p≡Tp∧¬p≡F
1.4 量词和谓词
量词
∀xP(x)\forall x\ \textbf{P}(x) ∀x P(x)
全称量词:对于所有x
,P(x)
都为真。但是如果存在一个x
,使得P(x)
为假,上面的命题就是假的。
∃xP(x)\exists x \textbf{P}(x) ∃xP(x)
存在量词:至少存在一个x
,使得P(x)
为真。当对于每一个x
,P(x)
为真时,上面的命题就是假的。
∃!∃1\exists ! \\ {\exists}_{1} ∃!∃1
上面的代表唯一性量词,代表x
仅有一个值能使P(x)
为真。
优先级注意事项
∀xP(x)∨Q(x)≡(∀xP(x))∨(Q(x))而不是∀x(P(x)∨Q(x)))\forall x \textbf{P}(x) \vee \textbf{Q}(x) \equiv (\forall x \textbf{P}(x))\ \vee\ (\textbf{Q}(x)) \\ 而不是\\ \forall x (\textbf{P}(x)\ \vee\ \textbf{Q}(x))) ∀xP(x)∨Q(x)≡(∀xP(x)) ∨ (Q(x))而不是∀x(P(x) ∨ Q(x)))
还有一种常见的表现形式:
∀x<0(x2>0)\forall x < 0\ ({x}^{2}>0) ∀x<0 (x2>0)
代表的含义就是对于所有的x<0
,x
的平方大于0。
量词的否定,即量词的德 摩根率
¬∀xP(x)≡∃x¬P(x)\neg \forall x \textbf{P}(x)\ \equiv \exists x\ \neg\textbf{P}(x) ¬∀xP(x) ≡∃x ¬P(x)
上面的含义就是对于所有x,P(x)为真的逆就是存在x,使得p(x)为假。
同理。
¬∃xP(x)≡∀x¬P(x)\neg \exists x \textbf{P}(x) \equiv \forall x \neg\textbf{P(x)} ¬∃xP(x)≡∀x¬P(x)
存在x,使得p(x)为真的逆就是没有x,使得p(x)为真,即对于所有x,p(x)为假。
第1章 基础:逻辑和证明 部分内容相关推荐
- 离散数学笔记_第一章:逻辑和证明(2 )
1.2 命题逻辑的应用 1.2.1 语句翻译 1.2.2 系统规范说明 1.2.3 布尔搜索 1.2.4 逻辑谜题 泥巴孩子谜题 骑士和流氓 (考研逻辑题) 1.2.5 逻辑电路 1.2.1 语句翻译
- 离散数学笔记_第一章:逻辑和证明(1)
1.1命题逻辑 1.1.1 命题 1.1.2 逻辑运算符 定义1: 否定联结词 定义2: 合取联结词 定义3: 析取联结词 定义4: 异或联结词 1.1.3 条件语句 定义5: 条件语句 定义6: 双 ...
- 【离散数学】第一章 —— 基础:逻辑和证明
嗨喽,宝子们,好久没有更新了.首先声明,我绝对没有偷玩hhh,只是因为最近忙着写毕业论文,然后又重新温习离散数学,时间比较紧凑,这不就马不停蹄的来了嘛. 叮叮叮,这将是一个全新的专栏--<离散数 ...
- 离散数学及其应用_第1章_基础:逻辑和证明
第1章 基础:逻辑和证明 1.1 命题逻辑 1.2 命题逻辑的应用 1.3 命题等价式 1.4 谓词逻辑 1.5 嵌套量词 1.6 推理规则 1.7 证明导论
- Learn Prolog Now 翻译 - 第二章 - 合一和证明搜索 - 第一节, 合一
Learn Prolog Now 翻译 - 第二章 - 合一和证明搜索 - 第一节, 合一 内容提要: 合一的定义: 一些合一的例子: 触发校验: 使用合一编程: 合一的定义 在上一章的知识库KB4中 ...
- 《从0到1》笔记 第九章 基础决定命运
第九章 基础决定命运 ----每个成功企业都是独一无二的,而要做好每个事业,有些事情在起步阶段就必须做好: ----基础没有打好的初创企业是无法挽救的. 开头很特殊,它在本质上有别于之后的阶段. 如美 ...
- HttpClient 中文官方教程----第一章基础知识-只收录,未测试
2019独角兽企业重金招聘Python工程师标准>>> 第一章基础知识 英文链接:http://hc.apache.org/httpcomponents-client-ga/tuto ...
- Ext JS 6学习文档-第3章-基础组件
Ext JS 6学习文档-第3章-基础组件 基础组件 在本章中,你将学习到一些 Ext JS 基础组件的使用.同时我们会结合所学创建一个小项目.这一章我们将学习以下知识点: 熟悉基本的组件 – 按钮, ...
- 《Go语言圣经》学习笔记 第三章 基础数据类型
<Go语言圣经>学习笔记 第三章 基础数据类型 目录 整型 浮点数 复数 布尔型 字符串 常量 注:学习<Go语言圣经>笔记,PDF点击下载,建议看书. Go语言小白学习笔记, ...
最新文章
- [ CodeVS冲杯之路 ] P1116
- 计算机控制lc72131,lc72131(1)
- 数据结构实验之栈:行编辑器
- Delphi 之 工具栏组件(TToolBar)
- 裁员30%?互联网行业裁员力度进前三 求职竞争加剧
- sql 从ip列表中查询ip段_IP地址段查询深度优化案例
- 【ora10,4】oracle后台进程介绍:
- .netcore 判断是否 ajax 请求_第3部分-异步使用2-2:Ajax 之 状态码
- matlab latex 中文字体,LaTeX - 设置中文字体
- 怎么查询网络热点事件的舆论热度的办法技巧
- Mac重装系统(1)系统U盘制作
- Science Advances:恐惧学习中内侧前额叶和杏仁核theta振荡同步活动
- 高级研发工程师岗位职责
- gmail更改个人信息_如何在不创建新电子邮件地址的情况下更改Gmail名称
- 将VBS脚本编译成加密版本的VBE脚本
- CGAL 4.11 官方文档 软件包概述 ——胞腔复形与多面体类
- HTML表单、表格制作个人简历
- git clone项目文件时报错解决remote: Enumerating objects: 19, done. remote: Counting objects: 100% (19/19), don
- Python 实现图像快速傅里叶变换和离散余弦变换
- 力扣 leetcode 1046. 最后一块石头的重量 (python)
热门文章
- 做自动化用哪种开发语言,一起【探讨】,谈谈你的想法?
- mapper method ......attempted to return null from.....
- php layui弹出修改功能,非常好用的弹出层 layer,常用功能demo,快速上手!
- python计算线段夹角
- 最小的k个数(堆排序实现)
- 一次 BO 报表引发的数据库宕机要点分析
- #Lost My Music 凸包+链表倍增优化 凉宫春日的忧郁
- 开源博客项目eblog完整搭建教程!
- 看完这篇 教你玩转渗透测试靶机——Metasploitable2
- 代码BUG之曲线救国