否定的逻辑

应该思考符号背后表示的逻辑,而不是像操作算术运算符一样操作逻辑符号。

比如

对于任意的 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的更多相关文章

  1. Introduction to Mathematical Thinking - Week 6 - Proofs with Quantifieers

    Mthod of proof by cases 证明完所有的条件分支,然后得出结论. 证明任意 使用任意 注意,对于一个任意的东西,你不知道它的具体信息.比如对于任意正数,你不知道它是 1 还是 2等 ...

  2. Introduction to Mathematical Thinking - Week 9 评论答案2

    根据 rubic 打分. 1. 我认为,如果说明 m, n 是自然数,所以最小值是 1 会更清楚.所以 Clarity 我给了 3 分.其他都是 4 分,所以一共是 23 分. 2.  我给出的分数 ...

  3. Introduction to Mathematical Thinking - Week 9

    错题 评分出错 题目要求的是 "any" ,而答案只给出了一个.所以认为回答者没有理解题意,连 any 都没有理解.所以 0 分. 第一,标准的归纳法只能对自然数使用,而题目要求的 ...

  4. Introduction to Mathematical Thinking - Week 7

    Q: Why did nineteenth century mathematicians devote time to the proof of self-evident results? Selec ...

  5. Introduction to Mathematical Thinking - Week 3

    there exists and all there exists 证明根号2是无理数 all 习题 3. Which of the following formal propositions say ...

  6. Introduction to Mathematical Thinking - Week 2

    基本数学概念 real number(实数):是有理数和无理数的总称 有理数:可以表达为两个整数比的数(a/b, b!=0) 无理数是指除有理数以外的实数 imply -- 推导出 不需要 A 能推导 ...

  7. Deep Learning and Shallow Learning

    Deep Learning and Shallow Learning 由于 Deep Learning 现在如火如荼的势头,在各种领域逐渐占据 state-of-the-art 的地位,上个学期在一门 ...

  8. Technical Development Guide---for Google

    Technical Development Guide This guide provides tips and resources to help you develop your technica ...

  9. (转)Awesome Courses

    Awesome Courses  Introduction There is a lot of hidden treasure lying within university pages scatte ...

随机推荐

  1. iOS CoreImage之滤镜简单使用

    代码地址如下:http://www.demodashi.com/demo/11605.html 老骥伏枥,志在千里 前记 最近一直在研究图像处理方面,既上一篇iOS Quart2D绘图之UIImage ...

  2. SVN学习(三)——在Eclipse 中安装和使用SVN客户端插件

    0 基本概念了解 0.1 SVN的工作原理:采取客户端/服务器模式——在服务器的版本库中保存项目文件的各个版本,所有参与协同开发的程序员在自己本地电脑上保存一个工作副本.SVN支持程序员将本地副本更新 ...

  3. Jmeter-性能测试(三)

    一.调通脚本(以json串Post接口为例)添加聚合报告(线程组->添加->监听器->聚合报告)并调试好需要压测的脚本,如下已经调通的P_C_B151就是我需要压测的脚本 二.设置场 ...

  4. velcoity使用说明:foreach指令

    http://blog.csdn.net/madding/article/details/6641020当在velocity中需要显示一个列表信息,我们会用foreach循环输出, 要求: 假如现在需 ...

  5. 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 ...

  6. Phaser实现源代码剖析

    Phaser是一个能够反复利用的同步栅栏.功能上与CyclicBarrier和CountDownLatch相似,只是提供更加灵活的使用方法.也就是说,Phaser的同步模型与它们几乎相同. 一般运用的 ...

  7. JPA ID生成策略(转---)

    尊重原创:http://tendyming.iteye.com/blog/2024985 JPA ID生成策略 @Table Table用来定义entity主表的name,catalog,schema ...

  8. html中添加freemarker条件判断

    1.<#if isChanged==1>id="skin_${skins_index*skins?size+skin_index+1}"<#else>id= ...

  9. iOS 学习笔记五 【2016年百度地图定位详细使用方法】

    具体介和配置绍在此就不详述了,详情请看百度地图API文档, 在这里具体讲解下,新版百度地图的定位与反地理编码的使用: 1.导入头文件 #import <BaiduMapAPI_Map/BMKMa ...

  10. Erlang 和 Elixir 互相调用 (转)

    lixr设计目标之一就是要确保兼容性,可以兼容Erlang和其生态系统.Elixir和Erlang 都是运行同样的虚拟机平台(Erlang Virtual Machine).不管是在Erlang使用E ...