离散数学

latex数学符号集合

第1天

一.集合论

1. 表示：

   • 外延表示法： A = { a , b , c } A = \{a,b,c\} A={a,b,c}
   • 内涵表示法： ⟮ P ( x ) 是 一 个 陈 述 句 ， 表 示 x 的 某 种 性 质 ⟯ 集 合 { x ∣ P ( x ) } 表 示 所 有 可 以 使 P ( x ) 为 真 的 对 象 x 所 组 成 的 集 合 。 \lgroup P(x)是一个陈述句，表示x的某种性质\rgroup \\集合\{x|P(x)\}表示所有可以使P(x)为真\\的对象x所组成的集合。 ⟮P(x)是一个陈述句，表示x的某种性质⟯集合{x∣P(x)}表示所有可以使P(x)为真的对象x所组成的集合。

2. 集合的性质：

   • 确定性
   • 唯一性（互异性）：出现了相同的元素按照一个整体算
   • 无序性

3. 特定符号所代表的含义

   • N:自然数集合
   • Z:整数集合
   • R:实数集合
   • Q:有理数集合
   • C:复数集合
   • $Z^{+}$ :正整数集合

4. 集合、元素之间的关系：

   • $$\begin{gathered} A\subseteq B(B\supseteq A) \\ ⟮A是B的子集(A包含于B); \\ B是A的超集（B包含A）⟯ \end{gathered}$$
   • $A\subset B(A是B的真子集)$
   • $a\in A(a属于A集合)$
   • 若$A\subseteq B,且B\subseteq A,则称A=B;反之A\ne B$
   • 一个集合A所包含的元素数目称为该集合的基数或势，记作$|A|、card(A)$或#A
     若$|A|<\infty$,则称A是有限集，否则是无限集

5. $空集\varnothing :$

   • 空集是任意一个集合的子集
   • 空集是唯一的

6. 幂集：一个集合的所有子集（包含空集）的集合 ，计算公式为：$\mathcal{P}(\mathcal{A})=2^{|A|}$

第二天：

1.命题逻辑：

• 原子命题、

1.1 五个联结词

• 否定联结词（$\neg$ 非运算）、
• 合取联结词（$\wedge$与运算）、
• 析取联结词（$\vee$或运算），
• 蕴涵联结词（$P\to Q$若P则Q，可以当成小于等于号，人为规定的形式逻辑，标志推理过程有无出错的工具）、命题逻辑之条件语句(蕴含）
• 等价联结词（$P\leftrightarrow Q$,相同为真，不同为假，即同或）

1.2等值式$A\iff B:A\leftrightarrow B$是永真式

• $P\to Q\iff \neg P\vee Q$

2.一阶谓词逻辑:

第三天

集合的运算

1.并集：

符号解释：

A ∪ B = { x ∣ x ∈ A ∨ x ∈ B } ( ∨ 代 表 或 者 ) ⋃ i = 1 ∞ A i : 表 示 A i 个 集 合 的 并 集 A\cup B=\{ x|x\in A \vee x\in B \}(\vee代表或者) \\\bigcup_{i=1}^{\infty}A_i:表示A_i个集合的并集 A∪B={x∣x∈A∨x∈B}(∨代表或者)i=1⋃∞​Ai​:表示Ai​个集合的并集
如果有穷个集合相并则称为初级并

交集.：

符号解释：

A ∩ B = { x ∣ x ∈ A ∧ x ∈ B } ( ∧ 代 表 且 ) ⋂ i = 1 ∞ A i : 表 示 A i 个 集 合 的 交 集 也 可 以 写 作 ⋂ i = 1 ∞ A i = { x ∣ ∀ i ( 1 ⩽ i ⩽ n ) → x ∈ A i } A\cap B=\{ x|x\in A \wedge x\in B \}(\wedge代表且) \\\bigcap_{i=1}^{\infty}A_i:表示A_i个集合的交 集\\也可以写作\bigcap_{i=1}^{\infty}A_i=\{x|\forall i(1\leqslant i\leqslant n)\to x\in A_i\} A∩B={x∣x∈A∧x∈B}(∧代表且)i=1⋂∞​Ai​:表示Ai​个集合的交集也可以写作i=1⋂∞​Ai​={x∣∀i(1⩽i⩽n)→x∈Ai​}
如果有穷个集合相并则称为初级交