离散数学 ---- 命题逻辑 --- 什么是命题和命题联结词

可数 --- countable

无穷集合间存在着差异，而这个差异通过阿列夫基数来区分

---

1.自然数集的定义

1.皮亚诺公理

关于一个自然数的预测其实就是一个对自然数的定义

冯诺依曼基于集合的基数来定义自然数

---

2.如何比较集合的大小

首先

1.有限集合小于无限集合

2.两个有限集合相比较的时候，谁的基数大谁就更大

两个无限集合进行比较时该怎么比较大小呢？

方法：通过判断两个无限集合之间是否存在一种一一对应的关系来解决这个问题

如果两个集合一一对应的话，我们就称这两个集合之间是等势的关系

什么叫做一一对应呢？ ----> 如果A中的一个元素能够对应到B中的一个元素（这两个元素可以不相等，也可以相等），则称A和B集合之间是一一对应的关系。

比如集合{1，2，3}和集合{a，b，c}，1和a对应，2和b对应，3和c对应，这两个集合中的元素一一对应，所以这两个集合是等势的

可数集合的基数都是阿列夫零

 

 所有能够表示成分式的数称为有理数（根号2不能表示成分数，所以它是无理数）

 从有限到无限，不仅仅是量的改变，更是质的飞跃

---

不可数集合

  0 -1的半开半闭区间也是不可数集合，实数R也能找到与0 - 1的一一对应关系，所以实数也是不可数集合

---

3.数理逻辑

数理逻辑研究的中心问题是推理，而推理的前提和结论都是命题。

因此命题是推理的基本单位：

对命题进行推理得到另一个命题

那么什么是命题呢？

命题是：具有确切真值（要么为真/要么为假）的陈述句  ---- 真值有两个取值，分别为真和假

 

二义性即指无法判断真假，比如下面这个陈述句：

 同时带有未被限制的变量的句子都不是命题，如：

 我们只需要知道一个陈述句有真值就可以是命题了，我们不需要确切的知道它的真值是什么

就像我们不需要知道你是一个男人还是一个女人，我们只需要知道你是一个人，你就可以作为一个命题了

除了简单的命题之外，我们还有复合命题 --- 复合命题是多个原子命题的有机组合，其特点是具有连接词（连接词的作用是将组成复合命题的原子命题连接起来）

原子命题（简单命题）：

不能分解为更为简单的命题称为原子命题

---

4.命题联结词

复合命题的构成：联结词 + 标点符号（可有，可无） + 原子命题 

1.否定联结词

命题的否定称为 非  ，不，没有等等，而否定联结词就是这些概念的抽象

 2.合取联结词

 3.析取联结词

 或也分为两种，一种是可兼或，一种是不可兼或

可兼或（异或） ： A和B可以同时成立

不可兼或（同或）：A和B不可以同时成立

析取联结词中的或对应的是可兼或

4.蕴涵联结词

P蕴涵Q也可以理解为P包含Q，P发生时Q必定发生

 如果P为假的话我们又该如何判断蕴涵式的真假呢？ --- 这就涉及到 善意推定 规则

 当前件为假的时候，后件可能发生也可能不发生，此时我们采取善意推定规则，认为这个蕴含式直接为真 

5.等价联结词

 等价联结词的左边为真右边也为真，左边为假右边也为假的时候，等价式为真，否则为假