Introduction to Mathematical Thinking

否定的逻辑

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

比如

对于任意的 x，x属于自然数，那么 x 是偶数或者奇数；这是对的

如果使用“乘法分配律”拆分，变成“对于任意的x，x属于自然数，那么x是奇数或者对于任意的x，x属于自然数，那么x是奇数” 这是错的

疑惑

但是做练习的时候，还是把其当做符号来运算。For all 变成 at least one；At least one 变成 for all；v 变成 ^;

计算机也是把逻辑规则抽象成符号来运算的。

注意言论的范围

如果你要讨论的是动物，那么应该以动物为主体，而不是以动物的子集为主体。

比如，应该是“对于任意的动物，如果它是老虎，那么它是猫科动物”，而不是“对于任意的老虎，它是猫科动物”。

习题

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.

转载于:https://www.cnblogs.com/jay54520/p/6893654.html

Introduction to Mathematical Thinking - Week 4相关推荐

Introduction to Mathematical Thinking - Week 3
there exists and all there exists 证明根号2是无理数 all 习题 3. Which of the following formal propositions say ...
R语言统计入门课程推荐——生物科学中的数据分析Data Analysis for the Life Sciences
Data Analysis for the Life Sciences是哈佛大学PH525x系列课程--生物医学中的数据分析(PH525x series - Biomedical Data Scien ...
Deep Learning and Shallow Learning
由于 Deep Learning 现在如火如荼的势头,在各种领域逐渐占据 state-of-the-art 的地位,上个学期在一门课的 project 中见识过了 deep learning 的效果, ...
深度学习和浅层学习 Deep Learning and Shallow Learning
由于 Deep Learning 现在如火如荼的势头,在各种领域逐渐占据 state-of-the-art 的地位,上个学期在一门课的 project 中见识过了 deep learning 的效果, ...
机器学习经典书籍论文
原文地址:http://blog.sina.com.cn/s/blog_7e5f32ff0102vlgj.html 入门书单 1.<数学之美>PDF6 作者吴军大家都很熟悉.以极为通俗的语 ...
个人网页、博客、课程--不断更新
论文和相关代码 :https://paperswithcode.com/ Caiming Xiong http://www.stat.ucla.edu/~caiming/ 论文,代码,博客肖小粤的啵 ...
格基规约算法：数学基础
本篇主要介绍学习格密码必备的格论知识,以下内容为理解格基规约算法必备的数学基础. 文章目录欧氏空间欧氏空间和范数向量空间欧氏空间子空间的正交补施密特正交化格论基础格的相关概念格和格基 ...
关于纳尔逊的内集理论
关于纳尔逊的内集理论(修改稿) 上世纪后半叶,1977年,美国数理逻辑学家纳尔逊创立"内集理论",作为引入鲁宾逊非标准分析的新方法.但是,国内无人关注,特写此文予以介绍.. 纳尔逊 ...
机器学习经典书籍和论文集合
原文地址:http://blog.sina.com.cn/s/blog_7e5f32ff0102vlgj.html 入门书单 1.<数学之美>PDF6 作者吴军大家都很熟悉.以极为通俗的语 ...

Introduction to Mathematical Thinking - Week 4

否定的逻辑

注意言论的范围

习题

Introduction to Mathematical Thinking - Week 4相关推荐

最新文章

热门文章