updates

Author: Rratic

content/_misc/calculus.md

@@ -30,7 +30,7 @@ tags = ["数学", "分析", "微积分学"]
 - L’Hôpital 法则
 - Taylor 展开式（Peano 余项，Lagrange 余项）
 - 不定积分（代换，分部积分，有理积分）
-- Riemann 积分（积分 $\int_a^b f(x) \mathrm{d}x$，Riemann 和，Darboux 上下和，Newton–Leibniz 公式，Lebesgue 定理，反常积分）
+- Riemann 积分（积分 $\int_a^b f(x) \mathrm{d}x$，Riemann 和，Darboux 上下和，Newton–Leibniz 公式，Lebesgue 定理，广义积分，瑕积分）
 - 解析性 $C^{\omega}(U)$
 - Lebesgue 积分
 

content/posts/logic_2.md

@@ -137,7 +137,7 @@ $$
 \frac{
 	\begin{matrix} [\neg \varphi] \\\\ D \\\\ \psi \end{matrix} \quad
 	\begin{matrix} [\neg \varphi] \\\\ D' \\\\ \neg\psi \end{matrix}
-}{\varphi} (\neg \text{I})
+}{\varphi} (\text{RAA})
 $$
 
 直觉主义逻辑自然演绎系统中没有这一条规则。关于直觉主义逻辑何以有用可参考我之前写的[类型论笔记](@/posts/type_theory_1.md)。