差别

这里会显示出您选择的修订版和当前版本之间的差别。

--- 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 [2023/03/28 14:58] (当前版本) – [数理逻辑：基本概念] codinghare
@@ 行 1: / 行 1: @@
 ======数理逻辑：基本概念======
 Coursera 离散数学概论笔记：第一周\\
-<wrap em>我的笔记均包含大量个人理解内容，存在一定偏差。如果您发现错误，请留言提出，谢谢！</wrap>\\
+----
-===== =====
 \\
 数学的出现是基于计量的需要；但随着人类社会的发展，对数学的要求也越来越严格。从某种角度来说，数学是由危机来推动其发展的：
@@ 行 156: / 行 155: @@
 \\
 严格意义上的命题公式还有一个条件：必须使用括号保证运算的优先级。因此，以下的式子都不是命题公式：
-<code>
+<code cpp>
 (qp) //没有联结词
 (p1∧(p2∧…//括号不完整
@@ 行 178: / 行 177: @@
   - 处理命题之间的联结关系及顺序
 一些相关的例子如下：
-<code>
+<code vex>
 我和他既是兄弟又是同学(p:我和他是兄弟，q:我和他是同学) //形式化命题:p∧q
 //-------------------------//

What & How & Why