《计算机科学中的数学》-读书笔记-技术

线索栏	笔记栏
什么是命题	可以判断是真是假的语句【不随环境变化】 【如：2 + 3 = 5是一个真命题，1 + 1 = 4 是一个假命题】 【现在是5点、明天会下雨】等依赖环境的不算命题。
如果一个命题的取值范围很大，一个一个带入验证会很麻烦，所以一般不这样做	课本举了好几个例子来论证这一点
谓词是什么？	谓词相当于返回布尔值的函数，如果你学过Java的Lambda表达式，你就会发现，谓词就相当于是Predicate，即一个函数的真假取决于传入的值。 例如：【n是一个正整数】这个谓词的真假依赖于n的取值。
公理是什么？	公理：从直接经验来看无需证明，显而易见的命题 例如：任意两点都可以通过一条直线相连 【个人速记ps：公理：公共都知道的道理】
证明是什么？	从公理以及被证明的语句来 推导 命题是否正确
已经被证明的命题包含哪几种？它们的区别是什么？	定理：真命题【已经确定的道理】 引理：命题【从定理 引出来/延伸出来 的道理】 推论：从定理推导出的命题。【从已知推导出来的结论】
你觉得任何情况下都需要把你的过程中采用的【如：2 + 2 = 4】这种证明一遍吗？还是说怎样？	如果每个都这样证明，确实会很严谨，但是也会很繁琐。课本决定采用大量的公理来作为前提。 所以，最好在一开始就列出你所有的假设
什么叫蕴含？	若p，则q，叫做蕴含 【就是说，如果p为真，那么q一定为真，如果p不为真，q随意】 记为 p -> q，等价为 !p V q。 【真值表见补充证明1】
证明两个命题属于蕴含关系的方法	1. 假设p成立，证明可以推出q成立 2. 证明逆反命题【若!q则!p】成立，则原命题成立
逻辑推理/推理规则 是什么？有哪几种？	从已经被证明的命题来推导新命题。 若p, p->q,则q. 若p, p->q, q->r, 则p->r 若p, !p->!q, 则q->p 【也被叫做命题和它的逆反命题是等价的，见补充证明2】
有理数和无理数是什么？	有理数：可以写做两个整数相除结果的数。 无理数：无限不循环小数，如【根号2、π】
当且仅当是什么意思？	一个语句成立，只有当另一个语句成立时，这个语句才成立
如何证明当且仅当？	1. 证明 【若p则q，且若q则p】 2. 通过已知构建一个已经成立的命题，然后通过这个命题推导出要求的命题
实数和虚数。

---

补充证明

1. 蕴含的真值表

   p	q	p -> q
   F	F	T
   F	T	T
   T	T	T
   T	F	F

2. 如何证明一个命题和它的逆反命题是等价的呢？即，若p, p->q, 则!q -> !p
   
   【感谢评论区用户：一颗发芽的种子 提出了这个问题，之前我有研究过，但是一直拖着没有更新。】

   答：我这里只选用简单的两种方法来证明，如果有大佬有更严谨的方法，请注明和补充到评论区。

   1. 文氏图方法

      证明：

      设p和q为两个集合，若p -> q，则表示，任取x 属于p，那么x一定属于q。
      这表示：p和q为 同集【相同的集合】或者p为q的子集。如图

      

      那么，可以得出，不属于q的一定不属于p，但是不属于p的不一定不属于q。

      也就是说，若p, p->q, 则!q -> !p，反过来，!p 不能推出 !q。

   2. 真值表法：

      证明：

      已知：p -> q，那么将 !q 和 !p的值写出来，就可以查看是否正确了。

      由蕴含定义知道【见第1个证明，什么是蕴含】
      !q -> !p，等价为 !(!q) V !p = q V !p，!p -> !q等价为 !(!p) V !q = p V !q

      下面1表示真，0表示假

      p	q	p -> q	!p	!q	q V !p	p V !q
      0	0	1	1	1	1	1
      0	1	1	1	0	1	0
      1	0	0	0	1	0	1
      1	1	1	0	0	1	1

      因为 p -> q 和 【q V !p = !q -> !p】 当p和q取值相同时，他们的值相同，所以他们两个等价。