本 Wiki 开启了 HTTPS。但由于同 IP 的 Blog 也开启了 HTTPS,因此本站必须要支持 SNI 的浏览器才能浏览。为了兼容一部分浏览器,本站保留了 HTTP 作为兼容。如果您的浏览器支持 SNI,请尽量通过 HTTPS 访问本站,谢谢!
这里会显示出您选择的修订版和当前版本之间的差别。
两侧同时换到之前的修订记录前一修订版后一修订版 | 前一修订版后一修订版两侧同时换到之后的修订记录 | ||
math:math_note:gen_discrete_math:prop_logic_and_formal_system [2017/11/03 03:57] – [定理判定的总结] haregy | 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 | ||
---|---|---|---|
行 420: | 行 420: | ||
看完了主范式的介绍,我们有一个问题:为什么主范式只用三个联结词就能表示所有的命题公式?为了解决这个疑惑,我们需要讨论一下联结词的完备性。 | 看完了主范式的介绍,我们有一个问题:为什么主范式只用三个联结词就能表示所有的命题公式?为了解决这个疑惑,我们需要讨论一下联结词的完备性。 | ||
===真值函数=== | ===真值函数=== | ||
- | 真值函数的概念在[[math: | + | 真值函数的概念在[[math: |
* 真值函数与等值类是一一对应的; | * 真值函数与等值类是一一对应的; | ||
* 真值函数与等值类中的每一个命题公式都等值;准确的说,是与主范式等值。 | * 真值函数与等值类中的每一个命题公式都等值;准确的说,是与主范式等值。 | ||
行 577: | 行 577: | ||
</ | </ | ||
====三个元定理==== | ====三个元定理==== | ||
- | 使用 PC 系统的公理和规则来证明一些复杂命题的时候,往往需要想法设法的去凑出能证明结论的形式。这样做有时候是非常麻烦的;为此,我们可以总结出一些定理,来帮助我们简化整个命题过程。PC 系统中主要使用的这种类型的定理有三个,我们也称之为三个元定理。 | + | 使用 PC 系统的公理和规则来证明一些复杂命题的时候,我们往往需要想方设法的去凑出能证明结论的形式。这样做有时候是非常麻烦的;为此,我们可以总结出一些定理,来帮助我们简化整个命题过程。PC 系统中主要使用的这种类型的定理有三个,我们也称之为三个元定理。 |
\\ | \\ | ||
\\ | \\ |