离散数学笔记_第一章:逻辑和证明(1)
1.1命题逻辑
- 1.1.1 命题
- 1.1.2 逻辑运算符
- 定义1: 否定联结词
- 定义2: 合取联结词
- 定义3: 析取联结词
- 定义4: 异或联结词
- 1.1.3 条件语句
- 定义5: 条件语句
- 定义6: 双条件语句
- * 逆命题、逆否命题、反命题
- 等价
- 1.1.4 复合命题的真值表
- 1.1.5 逻辑运算符的优先级
- 1.1.6 逻辑运算和比特运算
- 比特
- 布尔变量
- 比特运算(位运算)
- 比特串
1.1.1 命题
1.命题:是一个能判断真假的陈述语句 。
注:必须是陈述语句,感叹、疑问、祈使等都不行
2.命题变量(语句变量):表示命题的变量。
(类似于用字母表示数值变量。)
3.真值:命题的值。
(真命题的真值为真,用T表示;假命题的真值为假,用F表示。)
4.原子命题:不能用简单的命题表示的命题。
(结构上不能再分解出其他命题的命题.又称简单命题。原子命题不能带有非,或,且,如果,那么等联结词。)
1.1.2 逻辑运算符
定义1: 否定联结词
p是命题,p的否定:┐p,读作:“非p”。
定义2: 合取联结词
令p和q为命题,p、q的合取 即“ p并且q ”,记作p∧q。
(逻辑乘)
离散数学笔记_第一章:逻辑和证明(1)相关推荐
- 离散数学笔记_第一章:逻辑和证明(2 )
1.2 命题逻辑的应用 1.2.1 语句翻译 1.2.2 系统规范说明 1.2.3 布尔搜索 1.2.4 逻辑谜题 泥巴孩子谜题 骑士和流氓 (考研逻辑题) 1.2.5 逻辑电路 1.2.1 语句翻译
- 马丁福勒《UML精粹》读书笔记_第一章
马丁福勒<UML精粹>读书笔记_第一章 UML的使用场景 必须遵从UML规则吗? 在上述草图.蓝图的场景下,不必过多强调遵从UML规则.因为我们使用UML的目的是为了一个好的设计,所以应将 ...
- 自控力_书籍分享_读书笔记_第一章 我要做,我不要,我想要:什么是意志力?为什么意志力至关重要?_0001
第一章 我要做,我不要,我想要:什么是意志力?为什么意志力至关重要? 意志力到底是什么?意志力无非就是以下三种力量的综合能力,如果能够驾驭着三种力量,那么你就能够通过意志力成就更好的自己.从另一个方面 ...
- 笔青居_Autojs学习笔记_第一章
本笔记纯属四不像程序猿亲手制作,以便日后查阅,不喜勿喷!!! 再次感谢原作者笔青居的视频教程!!! 目录 一. Auto.js功能及使用 二. 环境简单搭建 三. 简单程序编写 四. Js(JavaS ...
- 《Head First设计模式》读书笔记_第一章
策略模式 例:设计一个模拟鸭子游戏,游戏中有各种鸭子,一边戏水一边嘎嘎叫. 所以学习设计模式前,我们最先想到的就是设置一个超类,并让其他子类去继承这个类,UML图如下: * * 但是,程序需求是会经常 ...
- 读书笔记|《金字塔原理》_第一章
读书笔记|<金字塔原理>_第一章 [章节]--第一章为什么要用金字塔结构 [讲了什么] 1.首先是为什么要用金字塔结构? 2.如何将思想组织成金字塔结构? 2.1 归类分组,将思想组织成金 ...
- 【笔记】Cocos2d-x高级开发教程:制作自己的捕鱼达人 笔记一:序_前言_第一章
[笔记]Cocos2d-x高级开发教程:制作自己的<捕鱼达人> 笔记一:序_前言_第一章 转载请注明出处:http://blog.csdn.net/l_badluck/article/de ...
- 关于高性能mysql的读书报告_《高性能MySQL》读书笔记:第一章[MySQL架构与历史]...
<高性能MySQL>读书笔记:第一章[MySQL架构与历史] MySQL逻辑架构 MySQL最优秀的一点就是它的存储架构,将查询处理,系统任务,数据存储/提取相分离 并发控制 通过读写锁实 ...
- 【离散数学】数理逻辑 第一章 命题逻辑(3) 逻辑等价与蕴含
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
最新文章
- 多目标跟踪 | FairMOT:统一检测、重识别的多目标跟踪框架,全新Baseline
- 【ZJOI2013】k大数查询 BZOJ 3110
- visual studio 的git插件推荐
- NET_NET深入体验与实战 第一章 .NET你知道 1.1什么是 .NET
- 转载:malloc()与new()的区别详解
- 如何在设计时公开复合控件内的子控件
- Mybatis中的collection、association来处理结果映射
- spring mvc学习(11):eclipse的环境maven项目创建前期工作
- qt pcl设置镜头初始位置_Qt中国象棋二——棋盘与棋子的绘制
- python ^ and or >> <<
- 大规模数据运行时,可以考虑使用多线程处理!
- JavaScript断点调试高级教程
- mysql 每5分钟统计_SQL按时间段统计(5分钟统计一次访问量为例,oracle统计)
- 第十一、十二、十三、十四章 网络配置管理、归档和远程复制同步文件、软件包管理、创建访问linux文件系统
- 如何将小鹤单字挂接到搜狗输入法
- Linux目录结构和常用指令
- HBCPC2017 C++ 训练题 春游 超级密码
- 【NI Multisim 14.0操作实例——最小锁存器电路】
- 解决MacOS Dock栏不能自动隐藏
- 用Tkinter打造自己的Python IDE开发工具(4)利用HP_tk模块设计自己的代码编辑器