Introduction to Mathematical Thinking - Week 2
基本数学概念
有理数:可以表达为两个整数比的数(a/b, b!=0)
imply -- 推导出
不需要 A 能推导出 B,而只要 A, B 都是正确的就可以?
phi implies psi 与 phi, psi 是否有关联无关。计算机并不需要理解 phi, psi 的意思,不需要知道 phi, psi 是否是正确的,它们只需要知道 phi implies psi 是否是正确的。
那么如何推导出剩下的两个?
通过 phi 不能推导出 psi 来推导
phi 不能推导出 psi 为 False,则 phi 能推导出 psi 则为 True
推导出 phi, psi 的换算关系的一个例子
equivalence
phi = psi means "phi implies psi and psi implies phi"
Some expressions about phi implies psi
要注意 only if 的用户。
A. I can join a bicycle competition only if I have a bicycle
B. If I have a bicycle, then I can join a bicycle competition
A != B
means: "join a bicycle competition" implies "have a bicycle"
使用上面的术语表示相等
Assignment4--10
证明 a, b, c
习题
P Q ¬P ¬Q ¬P∨Q P∨Q P⇒Q ¬(P∨Q) ¬P∧¬Q
T T F F T T T F F
T F F T F T F F F
F T T F T T T F F
F F T T T F T T T
¬P∨¬Q P∨¬Q ¬(P∨¬Q)
F T F
T T F
T F T
T T F
¬P∨¬Q P∧Q ¬(P∧Q)
F T F
T F T
T F T
T F T
¬(P⇒(Q∧R)) , ¬(P⇒Q)∨¬(P⇒R)
¬(P⇒(Q∧R))
P Q R Q^R P⇒(Q∧R) ¬(P⇒(Q∧R))
T T T T T F
T T F F F T
T F T F F T
T F F F F T
F T T T T F
F T F F T F
F F T F T F
F F F F T F
¬(P⇒Q)∨¬(P⇒R)
P⇒Q ¬(P⇒Q) P⇒R ¬(P⇒R) ¬(P⇒Q)∨¬(P⇒R)
T F T F F
T F F T T
F T T F T
F T F T T
T F T F F
T F T F F
T F T F F
T F T F F
P^Q (P∧Q)⇒R
T T
T F
F T
F T
F T
F T
F T
F T
Q⇒R P⇒(Q⇒R)
T T
F F
T T
T T
T T
F T
T T
T T
评分--评价答案
Introduction to Mathematical Thinking - Week 2的更多相关文章
- Introduction to Mathematical Thinking - Week 6 - Proofs with Quantifieers
Mthod of proof by cases 证明完所有的条件分支,然后得出结论. 证明任意 使用任意 注意,对于一个任意的东西,你不知道它的具体信息.比如对于任意正数,你不知道它是 1 还是 2等 ...
- Introduction to Mathematical Thinking - Week 9 评论答案2
根据 rubic 打分. 1. 我认为,如果说明 m, n 是自然数,所以最小值是 1 会更清楚.所以 Clarity 我给了 3 分.其他都是 4 分,所以一共是 23 分. 2. 我给出的分数 ...
- Introduction to Mathematical Thinking - Week 9
错题 评分出错 题目要求的是 "any" ,而答案只给出了一个.所以认为回答者没有理解题意,连 any 都没有理解.所以 0 分. 第一,标准的归纳法只能对自然数使用,而题目要求的 ...
- Introduction to Mathematical Thinking - Week 7
Q: Why did nineteenth century mathematicians devote time to the proof of self-evident results? Selec ...
- Introduction to Mathematical Thinking - Week 4
否定的逻辑 应该思考符号背后表示的逻辑,而不是像操作算术运算符一样操作逻辑符号. 比如 对于任意的 x,x属于自然数,那么 x 是偶数或者奇数:这是对的 如果使用“乘法分配律”拆分,变成“对于任意的x ...
- Introduction to Mathematical Thinking - Week 3
there exists and all there exists 证明根号2是无理数 all 习题 3. Which of the following formal propositions say ...
- Deep Learning and Shallow Learning
Deep Learning and Shallow Learning 由于 Deep Learning 现在如火如荼的势头,在各种领域逐渐占据 state-of-the-art 的地位,上个学期在一门 ...
- Technical Development Guide---for Google
Technical Development Guide This guide provides tips and resources to help you develop your technica ...
- (转)Awesome Courses
Awesome Courses Introduction There is a lot of hidden treasure lying within university pages scatte ...
随机推荐
- attempt to dereference a generic a pointer(转)
在Linux下的GDB环境中,用p 命令查看一个void *型的变量的时候,提示为: "attempt to dereference a generic a ...
- 用.net installshield打包程序时注册第三方控件
制作打包程序时如果用到外部控件需要按以下方式操作: 1.将控件及控件所用到的所有DLL加入打包程序. 2.将控件的Register由vsdrfDoNotRegister改为vsdrfCOMSelfRe ...
- Spring HibernateTemplate
HibernateTemplate利用模板设计模式,可将重复的opensession getcurrentsession工作省去,只将必要操作执行即可,其它的由spring来帮我们处理. < ...
- jumpserverv0.5.0 基于 CentOS7安装部署
基于 CentOS 7 一步一步安装 Jumpserver 0.5.0 环境 系统: CentOS 7 IP: 192.168.244.144 关闭 selinux和防火墙 # CentOS 7 $ ...
- oracle 创建一个用户,并且设定只能访问指定的对象
出处:http://www.cnblogs.com/BetterWF/archive/2012/07/03/2574416.html 今天在开发接口时候,需要给接口开发公司提供一个ORACLE 用户, ...
- web.py学习遇到的问题
刚配置好了web.py运行所需要的环境,试着运行一个入门小实例,结果遇到了异常提示.不知道是什么原因导致的(是环境没配置好?还是……),暂时做个标记,记录一下. 运行的代码 import web ur ...
- rac_安装软件时报版本号过高问题
原创作品,出自 "深蓝的blog" 博客.欢迎转载,转载时请务必注明下面出处,否则追究版权法律责任. 深蓝的blog:http://blog.csdn.net/huangyanlo ...
- elasticsearch 使用快照方式迁移数据
注册快照仓库 ES是通过快照的方式来实现数据备份,并且是以增量的方式,所以一般第一次做的话会花费较长的时间.为了做快照,那么就需要注册一个快照仓库,告诉ES我们的快照应该如何保存以及将快照保存到哪里. ...
- C#实现svn server端的hook
目标 要做的东东呢,就是在向svn提交文件的时候,可以再server端读到所有提交文件的内容,并根据某些规则验证文件的合法性,如果验证失败,则终止提交,并在svn的客户端上显示错误信息. 准备工作 ...
- C语言中fgetc函数返回值为什么是int?
学习C语言的,文件操作,大都会用到它. 它的函数原型: 这个函数的返回值,是返回读取的一个字节.如果读到文件末尾返回EOF.EOF其实就是一个宏#define EOF (-1)表示-1.既然返回的是一 ...