领域
离散与逻辑
4 个概念
离散与逻辑
n(A∪B) = n(A) + n(B) − n(A∩B)集合与文氏图
并集的大小是两个集合的大小相加，再把重叠部分（交集）恰好减去一次。
离散与逻辑
(p → q) ≡ (~q → ~p)命题：真还是假
命题是一句可以清楚判断真假的话。像'若 p 则 q'这样的条件命题，永远和它的逆否命题共享同一个真假值。
离散与逻辑
G = (V, E), Σ(v∈V) deg(v) = 2|E|图论
图是由点（顶点）和连接它们的线（边）组成的集合。它只记录「谁和谁相连」，抛开了位置、形状和距离。这是一张被剥离到只剩骨架的关系地图。
离散与逻辑
[ P(1) ∧ ( P(k) ⟹ P(k+1) ) ] ⟹ ∀n ≥ 1, P(n)数学归纳法
数学归纳法用来证明「对每一个自然数 n」都成立的命题。（1）证明 n=1 时成立（基础步骤），（2）证明如果 n=k 时成立，那么 n=k+1 时也一定成立（归纳步骤）；就像多米诺骨牌，一旦推倒就全部倒下。