本 Wiki 开启了 HTTPS。但由于同 IP 的 Blog 也开启了 HTTPS,因此本站必须要支持 SNI 的浏览器才能浏览。为了兼容一部分浏览器,本站保留了 HTTP 作为兼容。如果您的浏览器支持 SNI,请尽量通过 HTTPS 访问本站,谢谢!
这里会显示出您选择的修订版和当前版本之间的差别。
两侧同时换到之前的修订记录前一修订版后一修订版 | 前一修订版上一修订版两侧同时换到之后的修订记录 | ||
math:discrete_math:gen_discrete_math:math_logic_basics [2020/04/08 03:47] – ↷ 页面math:math:discrete_math:gen_discrete_math:math_logic_basics被移动至math:discrete_math:gen_discrete_math:math_logic_basics codinghare | math:discrete_math:gen_discrete_math:math_logic_basics [2021/11/11 08:07] – codinghare | ||
---|---|---|---|
行 2: | 行 2: | ||
Coursera 离散数学概论笔记:第一周\\ | Coursera 离散数学概论笔记:第一周\\ | ||
<wrap em> | <wrap em> | ||
- | ===== ===== | + | ---- |
\\ | \\ | ||
数学的出现是基于计量的需要;但随着人类社会的发展,对数学的要求也越来越严格。从某种角度来说,数学是由危机来推动其发展的: | 数学的出现是基于计量的需要;但随着人类社会的发展,对数学的要求也越来越严格。从某种角度来说,数学是由危机来推动其发展的: | ||
行 156: | 行 156: | ||
\\ | \\ | ||
严格意义上的命题公式还有一个条件:必须使用括号保证运算的优先级。因此,以下的式子都不是命题公式: | 严格意义上的命题公式还有一个条件:必须使用括号保证运算的优先级。因此,以下的式子都不是命题公式: | ||
- | < | + | < |
(qp) // | (qp) // | ||
(p1∧(p2∧…// | (p1∧(p2∧…// | ||
行 178: | 行 178: | ||
- 处理命题之间的联结关系及顺序 | - 处理命题之间的联结关系及顺序 | ||
一些相关的例子如下: | 一些相关的例子如下: | ||
- | < | + | < |
我和他既是兄弟又是同学(p: | 我和他既是兄弟又是同学(p: | ||
// | // |