Introduction to Mathematical Thinking - Week 4
否定的逻辑
应该思考符号背后表示的逻辑,而不是像操作算术运算符一样操作逻辑符号。
比如
对于任意的 x,x属于自然数,那么 x 是偶数或者奇数;这是对的
如果使用“乘法分配律”拆分,变成“对于任意的x,x属于自然数,那么x是奇数或者对于任意的x,x属于自然数,那么x是奇数” 这是错的
疑惑
但是做练习的时候,还是把其当做符号来运算。For all 变成 at least one;At least one 变成 for all;v 变成 ^;
计算机也是把逻辑规则抽象成符号来运算的。
注意言论的范围
如果你要讨论的是动物,那么应该以动物为主体,而不是以动物的子集为主体。
比如,应该是“对于任意的动物,如果它是老虎,那么它是猫科动物”,而不是“对于任意的老虎,它是猫科动物”。
习题
1.
Which of the following is equivalent to ¬∀x[P(x)⇒(Q(x)∨R(x))]? (Only one is.) [5 points]
∃x[P(x)∨¬Q(x)∨¬R(x)]
∃x[¬P(x)∧Q(x)∧R(x)]
∃x[P(x)∧¬Q(x)∧¬R(x)]
∃x[P(x)∧(¬Q(x)∨¬R(x))]
∃x[P(x)∨(¬Q(x)∧¬R(x))]
解:¬的范围是 ∀x 还是 ∀x[P(x)⇒(Q(x)∨R(x))]?
如果不考虑¬,答案是 ∃x[P(x)∧¬Q(x)∧¬R(x)]。然后答案是这个。这让我疑惑¬是不是印刷错误。
打分题
总评给了0分,正确性给了3分,其他满分。理由是division's not an operation in the integers
改写后的结果:
that means that 1 is divisible by P. But, that's a contradiction, P is a prime number. So, it's at least equal to 2. So, it can't divide into 1.
Introduction to Mathematical Thinking - Week 4的更多相关文章
- 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 3
there exists and all there exists 证明根号2是无理数 all 习题 3. Which of the following formal propositions say ...
- Introduction to Mathematical Thinking - Week 2
基本数学概念 real number(实数):是有理数和无理数的总称 有理数:可以表达为两个整数比的数(a/b, b!=0) 无理数是指除有理数以外的实数 imply -- 推导出 不需要 A 能推导 ...
- 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 ...
随机推荐
- iOS CoreImage之滤镜简单使用
代码地址如下:http://www.demodashi.com/demo/11605.html 老骥伏枥,志在千里 前记 最近一直在研究图像处理方面,既上一篇iOS Quart2D绘图之UIImage ...
- SVN学习(三)——在Eclipse 中安装和使用SVN客户端插件
0 基本概念了解 0.1 SVN的工作原理:采取客户端/服务器模式——在服务器的版本库中保存项目文件的各个版本,所有参与协同开发的程序员在自己本地电脑上保存一个工作副本.SVN支持程序员将本地副本更新 ...
- Jmeter-性能测试(三)
一.调通脚本(以json串Post接口为例)添加聚合报告(线程组->添加->监听器->聚合报告)并调试好需要压测的脚本,如下已经调通的P_C_B151就是我需要压测的脚本 二.设置场 ...
- velcoity使用说明:foreach指令
http://blog.csdn.net/madding/article/details/6641020当在velocity中需要显示一个列表信息,我们会用foreach循环输出, 要求: 假如现在需 ...
- Centos下安装JDK、Maven和Git
原文地址:https://github.com/eacdy/spring-cloud-book/blob/master/3%20%E4%BD%BF%E7%94%A8Docker%E6%9E%84%E5 ...
- Phaser实现源代码剖析
Phaser是一个能够反复利用的同步栅栏.功能上与CyclicBarrier和CountDownLatch相似,只是提供更加灵活的使用方法.也就是说,Phaser的同步模型与它们几乎相同. 一般运用的 ...
- JPA ID生成策略(转---)
尊重原创:http://tendyming.iteye.com/blog/2024985 JPA ID生成策略 @Table Table用来定义entity主表的name,catalog,schema ...
- html中添加freemarker条件判断
1.<#if isChanged==1>id="skin_${skins_index*skins?size+skin_index+1}"<#else>id= ...
- iOS 学习笔记五 【2016年百度地图定位详细使用方法】
具体介和配置绍在此就不详述了,详情请看百度地图API文档, 在这里具体讲解下,新版百度地图的定位与反地理编码的使用: 1.导入头文件 #import <BaiduMapAPI_Map/BMKMa ...
- Erlang 和 Elixir 互相调用 (转)
lixr设计目标之一就是要确保兼容性,可以兼容Erlang和其生态系统.Elixir和Erlang 都是运行同样的虚拟机平台(Erlang Virtual Machine).不管是在Erlang使用E ...