public:math:mathematical_analysis:chapter_1

差别

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

到此差别页面的链接

两侧同时换到之前的修订记录 前一修订版
public:math:mathematical_analysis:chapter_1 [2024/06/02 15:55] – [2. 公理化集合论] oakfirepublic:math:mathematical_analysis:chapter_1 [2026/08/13 11:44] (当前版本) – [1. 关系与括号] oakfire
行 3: 行 3:
 ===== \(\S1\) 逻辑符号 ===== ===== \(\S1\) 逻辑符号 =====
 ==== 1. 关系与括号 ==== ==== 1. 关系与括号 ====
-  * \( \lnot \) “非”; \( \land \) “与”; \( \lor \) “或”; \( \Rightarrow \) “蕴含”; \( \Leftrightarrow \) “等价”+  * $\lnot$ “非”; $\land$ “与”; $ \lor $ “或”; $ \Rightarrow $ “蕴含”; $ \Leftrightarrow $ “等价”
 ==== 2. 关于证明的注记 ==== ==== 2. 关于证明的注记 ====
     * 典型的数学论断具有 \( A \Rightarrow B \) 这种形式,证明时建立一串蕴含关系,其中每个蕴含关系为公理或已证明断语     * 典型的数学论断具有 \( A \Rightarrow B \) 这种形式,证明时建立一串蕴含关系,其中每个蕴含关系为公理或已证明断语
  • public/math/mathematical_analysis/chapter_1.txt
  • 最后更改: 2026/08/13 11:44
  • 由 oakfire