差别

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

到此差别页面的链接

两侧同时换到之前的修订记录 前一修订版
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