我要学离散1

1. 偏序性蕴含自反
2. 连续统假设是希尔伯特的第 \(1\) 个问题。
3. \(m\) 是很多 \(\and\) 连起来，用 \(\or\) 链接。（也叫析取范式\(\or\)）
4. \(M\) 是很多 \(\or\) 连起来，用 \(\and\) 链接。（也叫合取范式\(\and\)）
5. 归结法：把条件变成 \(M\) 的形式，建立字句集，接下来就可以取两个元素，把相反的部分消掉，剩下的部分连起来。（适用于没有量词）
6. 归结推理法：在此基础上，消掉所有的 \(\exist\)，把 \(\exist\) 表述为和前面所有 \(\forall\) 有关的一个函数。（你可以随时把变量做变换）
7. 注意偏序关系是 \(\le\)，也就是说，大的在后面。同样画哈斯图的时候要把后面的画在上面。（从上到下是从大到小）

---

错题

1. \((\exist x)P(x) = F\)
   这是在说 \(((\exist x)P(x)) = F\)，也就是 \(P(x)=F\) 恒成立！
2. 对 n 个命题变元，可定义 ___ 个 n 元命题联接词。
   注意是 \(n\) 元
3. 对有限集合 A 和 B，|A| = m，|B| = n，什么时候存在函数是从 \(A\) 到 \(B\) 的满射？
   注意考虑 \(n=0\)，这时这个函数不一定存在。