差别
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录 前一修订版 | |||
| public:math:mathematical_analysis:chapter_1 [2024/06/02 15:55] – [2. 公理化集合论] oakfire | public:math:mathematical_analysis:chapter_1 [2026/08/13 11:44] (当前版本) – [1. 关系与括号] oakfire | ||
|---|---|---|---|
| 行 3: | 行 3: | ||
| ===== \(\S1\) 逻辑符号 ===== | ===== \(\S1\) 逻辑符号 ===== | ||
| ==== 1. 关系与括号 ==== | ==== 1. 关系与括号 ==== | ||
| - | * \( \lnot \) “非”; | + | * $\lnot$ “非”; |
| ==== 2. 关于证明的注记 ==== | ==== 2. 关于证明的注记 ==== | ||
| * 典型的数学论断具有 \( A \Rightarrow B \) 这种形式,证明时建立一串蕴含关系,其中每个蕴含关系为公理或已证明断语 | * 典型的数学论断具有 \( A \Rightarrow B \) 这种形式,证明时建立一串蕴含关系,其中每个蕴含关系为公理或已证明断语 | ||