摘要：实际上是从集合论（公选课）的结课论文里摘出来的。 由于整篇论文不知道为什么只得了很少的分，所以不给你们看全文 证明有部分来自 Hall's Marriage Theorem, Brilliant Math & Science Wiki，非常好证明，使我的大脑旋转。 从 \(\text{Dilwort 阅读全文

摘要：FBI Warning 以下内容纯属各路资源拼接，未满 18 岁不得观看。 内容并非全部内容，仅作复习用。 数理逻辑 文字 Literal 一个原子公式（Atomic formula）或其否定，如 \(P, \neg P\)。 析取/合取范式 DNF/CNF 由有限个合取式析取而成 / 由有限个析取 阅读全文