<离散数学>学习笔记1--逻辑和证明
2013-09-28 17:14
537 查看
今天开始离散数学的自学旅程。
主题:逻辑和证明
逻辑规则给出数学语句的准确含义。逻辑对计算机科学有着重要作用。为了理解数学,我么必须理解正确的数学论证是由什么组成的。只要证明一个数学语句是真的,我们就称之为定理。我们要学会如何理解和构造正确的数学论证。
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 命题逻辑
命题是一个或真或假的陈述语句,即一个陈述事实的句子,但不能既真又假。
涉及命题的逻辑领域称为命题演算或者命题逻辑。
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 逆 反 和倒置
(懒得打字,就只好贴图了,莫见怪)
两个命题总是具有相同的真值时,我们称之为等价。
相关文章推荐
- <vim实用技巧>学习笔记
- <JAVA学习笔记5>——线程同步、安全
- <STL学习笔记---Vector>删除与某值相等的元素
- <git教程>学习笔记
- <<深入Java虚拟机>>-第二章-Java内存区域-学习笔记
- <Python高级全栈开发工程师-1>学习过程笔记【181-184】正则表达式 <特殊字符><函数>
- <JAVA学习笔记8>——生产者、消费者案例(2)
- <转>ASP.NET学习笔记之在ASP.NET MVC中使用DropDownList
- <<Signals and systems>> Chapter 2 学习笔记
- <python全栈开发基础>学习过程笔记【17d】生成器
- <hadoop学习历程>--笔记心得5-HDFS的特点
- <<SQL Server 2005 高级程序设计>> 学习笔记(5)
- <学习html>第四天笔记-注释标签;相对路径,绝对路径;有序列表,无序列表,自定义列表;总结
- Accelerated C++学习笔记5—<组织程序和数据>
- <<C++标准程序库>>中的STL简单学习笔记
- LuaFramework_UGUI_学习笔记 <2>
- <JavaSE学习笔记>面向对象(2):Java内存机制
- <<High-Speed Tracking with Kernelized Correlation Filters>> KCF(核化相关滤波)跟踪算法学习笔记
- <<Python基础教程>>学习笔记 | 第12章 | 图形用户界面
- <转>ASP.NET学习笔记之MVC 3 数据验证 Model Validation 详解