本 Wiki 开启了 HTTPS。但由于同 IP 的 Blog 也开启了 HTTPS，因此本站必须要支持 SNI 的浏览器才能浏览。为了兼容一部分浏览器，本站保留了 HTTP 作为兼容。如果您的浏览器支持 SNI，请尽量通过 HTTPS 访问本站，谢谢！
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录前一修订版后一修订版 | 前一修订版 | ||
| math:discrete_math:gen_discrete_math:prop_logic_and_formal_system [2020/04/08 03:48] – ↷ 页面math:math_note:gen_discrete_math:prop_logic_and_formal_system被移动至math:discrete_math:gen_discrete_math:prop_logic_and_formal_system codinghare | math:discrete_math:gen_discrete_math:prop_logic_and_formal_system [2021/11/11 08:07] (当前版本) – codinghare | ||
|---|---|---|---|
| 行 2: | 行 2: | ||
| Coursera 离散数学概论笔记：第二周\\ | Coursera 离散数学概论笔记：第二周\\ | ||
| <wrap em> | <wrap em> | ||
| - | ===== ===== | + | ---- |
| \\ | \\ | ||
| ====命题公式的分类==== | ====命题公式的分类==== | ||
| 行 408: | 行 408: | ||
| - 因为主析取范式与原命题公式等价，$A╞╡B$ 且 $A╞╡C$ ，所以有 $B╞╡C$ | - 因为主析取范式与原命题公式等价，$A╞╡B$ 且 $A╞╡C$ ，所以有 $B╞╡C$ | ||
| - 因为 $B$ 和 $C$ 是两个不同的主析取范式，这就意味着他们包含的极小项总会有不同的情况。 | - 因为 $B$ 和 $C$ 是两个不同的主析取范式，这就意味着他们包含的极小项总会有不同的情况。 | ||
| - | - 假设极小项 $M_i$ 存在于 $B$ 中而不存在于 $C$ 中，那么根据之前的[[math: | + | - 假设极小项 $M_i$ 存在于 $B$ 中而不存在于 $C$ 中，那么根据之前的[[math: |
| - 因此，$B$ 和 $C$ 必定包含同样的极小项，也就是说，$B$ 与 $C$ 是同一个主析取范式。 | - 因此，$B$ 和 $C$ 必定包含同样的极小项，也就是说，$B$ 与 $C$ 是同一个主析取范式。 | ||
| - 因此，公式 $A(p_1, p_2, …p_n)$ 的主析取范式的唯一性得证。 | - 因此，公式 $A(p_1, p_2, …p_n)$ 的主析取范式的唯一性得证。 | ||