<离散数学>学习笔记1--逻辑和证明
今天开始离散数学的自学旅程。
主题:逻辑和证明
逻辑规则给出数学语句的准确含义。逻辑对计算机科学有着重要作用。为了理解数学,我么必须理解正确的数学论证是由什么组成的。只要证明一个数学语句是真的,我们就称之为定理。我们要学会如何理解和构造正确的数学论证。
1 命题逻辑
命题是一个或真或假的陈述语句,即一个陈述事实的句子,但不能既真又假。
涉及命题的逻辑领域称为命题演算或者命题逻辑。
1.1非命题,与命题和或命题的真值表
非命题,与命题和或命题的真值表如下
1.2 条件命题
令 p 和 q 为命题,条件语句 p → q 是命题“若 p ,则 q ”。当p为真,而q为假的时候,提哦啊兼语句 p→ q为假,否则为真。p 称为假设(或者前项,前提),q称为结论(或者推论)。
真值表如下:
表示 p → q 的术语有很多:
为了便于理解条件语句,举例如下,帮助理解:
命题:教授承诺,期末考试考了一百分,期末成绩能拿到A。
此时 p 为“期末考试考了一百分”,而 q 为 “期末成绩能拿到A”。表述条件就是 if p ,then q。考生期末考了一百分,但是没有得到A,也就是 p 为真,而 q 为假,那么整个命题就是假,也即是教授失信了,被骗了。其他情况都是真的。假如考生没有拿到一百分,那么期末成绩不一定就不是A,因为可能由其他因素决定。
注意,表述 p → q 是可以用 p only if q,这个句子是和 if p ,then q 等价的。很多人都是表述称 q only if p。p only if q 说的是当q不为真时,q也不能为真。拿上面的例子来说明一下,期末成绩能拿到A不为真时,那么考生就是期末没有考到一百分,q也不是为真,如果q为真,那么整个命题就是假的,也即是教授说谎。但是考生期末考试没有拿到一百分,那么期末成绩会不会拿到A呢? 答案是不知道,因为此时q的真值并没有从命题体现出来,也即是说不管考生拿到的是不是A,也就是说不管q是不是真,教授都没有失信,那么整个命题那就是真的。
1.3 逆 反 和倒置
(懒得打字,就只好贴图了,莫见怪)
两个命题总是具有相同的真值时,我们称之为等价。
<离散数学>学习笔记1--逻辑和证明的更多相关文章
- Underscore.js 源码学习笔记(下)
上接 Underscore.js 源码学习笔记(上) === 756 行开始 函数部分. var executeBound = function(sourceFunc, boundFunc, cont ...
- 《Java编程思想》学习笔记(二)——类加载及执行顺序
<Java编程思想>学习笔记(二)--类加载及执行顺序 (这是很久之前写的,保存在印象笔记上,今天写在博客上.) 今天看Java编程思想,看到这样一道代码 //: OrderOfIniti ...
- Linux 学习笔记
Linux学习笔记 请切换web视图查看,表格比较大,方法:视图>>web板式视图 博客园不能粘贴图片吗 http://wenku.baidu.com/view/bda1c3067fd53 ...
- 《Java学习笔记(第8版)》学习指导
<Java学习笔记(第8版)>学习指导 目录 图书简况 学习指导 第一章 Java平台概论 第二章 从JDK到IDE 第三章 基础语法 第四章 认识对象 第五章 对象封装 第六章 继承与多 ...
- [DL学习笔记]从人工神经网络到卷积神经网络_1_神经网络和BP算法
前言:这只是我的一个学习笔记,里边肯定有不少错误,还希望有大神能帮帮找找,由于是从小白的视角来看问题的,所以对于初学者或多或少会有点帮助吧. 1:人工全连接神经网络和BP算法 <1>:人工 ...
- Hibernate学习笔记(二)
2016/4/22 23:19:44 Hibernate学习笔记(二) 1.1 Hibernate的持久化类状态 1.1.1 Hibernate的持久化类状态 持久化:就是一个实体类与数据库表建立了映 ...
- JUC.Lock(锁机制)学习笔记[附详细源码解析]
锁机制学习笔记 目录: CAS的意义 锁的一些基本原理 ReentrantLock的相关代码结构 两个重要的状态 I.AQS的state(int类型,32位) II.Node的waitStatus 获 ...
- Sqlite学习笔记(四)&&SQLite-WAL原理
Sqlite学习笔记(三)&&WAL性能测试中列出了几种典型场景下WAL的性能数据,了解到WAL确实有性能优势,这篇文章将会详细分析WAL的原理,做到知其然,更要知其所以然. WAL是 ...
- Activiti 学习笔记记录(二)
上一篇:Activiti 学习笔记记录 导读:对于工作流引擎的使用,我们都知道,需要一个业务事件,比如请假,它会去走一个流程(提交申请->领导审批---(批,不批)---->结束),Act ...
随机推荐
- Android Camera 流程梳理
毕业已经快两年了,一直没有写博客的习惯,这是第一篇,以后要慢慢养成这个习惯.毕业之后一直在做相机,先简单的梳理下Android Camera的流程. Android Camera 是一个client/ ...
- sql - 以半月,每月 分组
按半月:完整代码: SELECT siteNumber [站点], CONVERT(VARCHAR(7),day,120)+'-'+ case when day(day) between 1 and ...
- oracle 报错 :ORA-04052、 ORA-00604、 ORA-03106、 ORA-02063
最近发现一个很奇怪的问题: 创建了一个DB_LINK连接另一个Oracle数据库. select * from tablename@dblinkname; 单句执行没问题,但是把这句SQL写到存储过程 ...
- 求fibonacci数列 java
java 和 c 差不多.但是java可以根据需求定义数组. 我还不会java的函数调用,所以用数组的方法. import java.util.Scanner; public class fibon{ ...
- laravel5通过auth.attempt事件加入登陆验证码
<?php namespace WangDong\Http\Controllers\Auth; use Illuminate\Http\Exception\HttpResponseExcepti ...
- Java学习----HashMap原理
1.HashMap的数据结构 数组的特点是:寻址容易,插入和删除困难:而链表的特点是:寻址困难,插入和删除容易.那么我们能不能综合两者的特性,做出一种寻址容易,插入删除也容易的数据结构?答案是肯定的, ...
- An erroroccurred while filtering resources
maven报错: maven An error occurred while filtering resources Maven -> Update Project... resolved th ...
- openerp import l field size limit
modify the file addons/base_import/models.py add the following line at the very begining of the _con ...
- Solr4.8.0源码分析(20)之SolrCloud的Recovery策略(一)
Solr4.8.0源码分析(20)之SolrCloud的Recovery策略(一) 题记: 我们在使用SolrCloud中会经常发现会有备份的shard出现状态Recoverying,这就表明Solr ...
- bzoj3531
不难想到树链剖分这题的难点是记录的是路径上宗教相同的点裸的想法是对每一种宗教都开一棵线段树,记录每个点的评级但显然这样会爆空间,仔细分析一下,这些线段树内很多点压根就没用到因此我们考虑对线段树动态开点 ...