diff --git "a/tiddlers/INI\346\226\207\344\273\266.tid" "b/tiddlers/INI\346\226\207\344\273\266.tid"
index 958a2702..a9c8cb39 100644
--- "a/tiddlers/INI\346\226\207\344\273\266.tid"
+++ "b/tiddlers/INI\346\226\207\344\273\266.tid"
@@ -1,13 +1,13 @@
 created: 20240903054831484
 creator: miRoox
-modified: 20240903060609002
+modified: 20240905091604283
 modifier: miRoox
 tags: 文件格式 文本文件 配置文件
 title: INI文件
 tmap.id: 85033af9-85fe-4de7-9ed8-ac1f5403c1f3
 type: text/vnd.tiddlywiki
 
-INI文件是一种无固定标准格式的[[配置文件]]。其命名取自英文“初始（Initial）”的首字缩写，正与它的用途——初始化程序相应。有时候，INI文件也会以不同的[[扩展名|?]]，如`.CFG`、`.CONF`、或是`.TXT`代替。
+`.INI`文件是一种无固定标准格式的[[配置文件]]。其命名取自英文“初始（Initial）”的首字缩写，正与它的用途——初始化程序相应。有时候，INI文件也会以不同的[[扩展名|?]]，如`.CFG`、`.CONF`、或是`.TXT`代替。
 
 一个INI文件通常包含若干`[]`标记的''节''（section）；每节下有若干组`=`分隔的[[键值对]]指定参数，可以通过`;`表示[[注释]]。如下：
 
diff --git "a/tiddlers/Sinc\345\207\275\346\225\260.tid" "b/tiddlers/Sinc\345\207\275\346\225\260.tid"
index 3e1faeee..c1de259a 100644
--- "a/tiddlers/Sinc\345\207\275\346\225\260.tid"
+++ "b/tiddlers/Sinc\345\207\275\346\225\260.tid"
@@ -1,7 +1,8 @@
 caption: Sinc函数
 created: 20191010113726280
-modified: 20191010114006183
-tags: 函数
+modified: 20240905093954339
+modifier: miRoox
+tags: 数学：函数
 title: Sinc函数
 tmap.id: ce515055-b2ad-4665-9d9c-949a4d3f4741
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\344\270\211\350\247\222\345\207\275\346\225\260.tid" "b/tiddlers/\344\270\211\350\247\222\345\207\275\346\225\260.tid"
index 2a0472c6..549d50e5 100644
--- "a/tiddlers/\344\270\211\350\247\222\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\344\270\211\350\247\222\345\207\275\346\225\260.tid"
@@ -1,8 +1,8 @@
 caption: 三角函数
 created: 20191010112908976
-modified: 20230316103711659
+modified: 20240905093954337
 modifier: miRoox
-tags: TODO 初等函数 函数
+tags: TODO 初等函数 数学：函数
 title: 三角函数
 tmap.id: fd534103-ea9d-4030-b2bd-8097c60c851f
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\344\274\275\351\251\254\345\207\275\346\225\260.tid" "b/tiddlers/\344\274\275\351\251\254\345\207\275\346\225\260.tid"
index 624b9500..3d334764 100644
--- "a/tiddlers/\344\274\275\351\251\254\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\344\274\275\351\251\254\345\207\275\346\225\260.tid"
@@ -2,9 +2,9 @@ aliases: Γ函数
 caption: 伽马函数
 created: 20191010113315944
 creator: miRoox
-modified: 20240822095624489
+modified: 20240905093954313
 modifier: miRoox
-tags: TODO 函数
+tags: TODO 数学：函数
 title: 伽马函数
 tmap.id: cfe55ea7-1bfa-4d7e-a9c9-a489e71e6cc0
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\345\200\274\345\237\237.tid" "b/tiddlers/\345\200\274\345\237\237.tid"
new file mode 100644
index 00000000..6341a753
--- /dev/null
+++ "b/tiddlers/\345\200\274\345\237\237.tid"
@@ -0,0 +1,13 @@
+aliases: 像集
+created: 20240905111010044
+creator: miRoox
+modified: 20240905111543871
+modifier: miRoox
+tags: 集合
+title: 值域
+tmap.id: 7a1f42af-2875-499a-93e5-fe7c1517615b
+type: text/vnd.tiddlywiki
+
+[[映射]]的''值域''（Range）是由[[定义域]]中一切元素的[[像|映射的像]]的[[集合]]。给定[[映射]]$$f:A\to B$$，集合$$f(A)=\{x\in A:f(x)\}$$被称为$$f$$的值域。
+
+$$f$$的值域是[[到达域]]的一个[[子集]]。若$$f$$是一个[[满射]]，则其到达域和值域相[[等|外延公理]]。
diff --git "a/tiddlers/\345\203\217\345\267\256.tid" "b/tiddlers/\345\203\217\345\267\256.tid"
index e0db89c0..187612ea 100644
--- "a/tiddlers/\345\203\217\345\267\256.tid"
+++ "b/tiddlers/\345\203\217\345\267\256.tid"
@@ -1,8 +1,8 @@
 created: 20190930083518343
 creator: miRoox
-modified: 20230316103711662
+modified: 20240905090705457
 modifier: miRoox
-tags: TODO 工程光学
+tags: TODO 工程光学 分类
 title: 像差
 tmap.id: d79960d2-07fa-4ecc-96f5-5ee3f812744c
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\345\205\213\347\275\227\345\206\205\345\205\213\316\264\345\207\275\346\225\260.tid" "b/tiddlers/\345\205\213\347\275\227\345\206\205\345\205\213\316\264\345\207\275\346\225\260.tid"
index 0b90a3d1..3cae18e1 100644
--- "a/tiddlers/\345\205\213\347\275\227\345\206\205\345\205\213\316\264\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\345\205\213\347\275\227\345\206\205\345\205\213\316\264\345\207\275\346\225\260.tid"
@@ -1,9 +1,9 @@
 aliases: 克罗内克函数 克罗内克δ
 created: 20240822112951755
 creator: miRoox
-modified: 20240822120613553
+modified: 20240905093954319
 modifier: miRoox
-tags: 函数 TODO
+tags: 数学：函数 TODO
 title: 克罗内克δ函数
 tmap.id: 8de5c4c8-c418-46a6-86a6-0dd11cef1ce1
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\345\205\250\347\247\260\351\207\217\345\214\226.tid" "b/tiddlers/\345\205\250\347\247\260\351\207\217\345\214\226.tid"
new file mode 100644
index 00000000..67b744eb
--- /dev/null
+++ "b/tiddlers/\345\205\250\347\247\260\351\207\217\345\214\226.tid"
@@ -0,0 +1,13 @@
+aliases: 任意
+created: 20240905142116609
+creator: miRoox
+modified: 20240905143029677
+modifier: miRoox
+tags: 谓词逻辑 TODO
+title: 全称量化
+tmap.id: 472740ec-4201-41b4-b8cc-04f5c0e9443a
+type: text/vnd.tiddlywiki
+
+在[[谓词逻辑]]中，''全称命题''是对[[论域]]内所有成员的性质或关系的论断结果的陈述。在符号逻辑中，全称量词$$\forall$$是用来指示全称量化的符号（倒立的''A''ll首字母）。
+
+全称量化可以看作是对[[逻辑合取]]的一种泛化。考虑$$\forall x\in A, P(x)$$，可以等价地表示为形式$$\bigwedge_{x\in A}P(x)$$
\ No newline at end of file
diff --git "a/tiddlers/\345\207\275\346\225\260.tid" "b/tiddlers/\345\207\275\346\225\260.tid"
deleted file mode 100644
index a0a1b62d..00000000
--- "a/tiddlers/\345\207\275\346\225\260.tid"
+++ /dev/null
@@ -1,12 +0,0 @@
-caption: 函数
-created: 20190930081956510
-creator: miRoox
-list: 初等函数 正交多项式
-modified: 20240822095214153
-modifier: miRoox
-tags: TODO 数学 分类
-title: 函数
-tmap.id: c0e9632a-c1e9-4e3d-8493-632fa9fe1cb2
-type: text/vnd.tiddlywiki
-
-! 函数
diff --git "a/tiddlers/\345\210\235\347\255\211\345\207\275\346\225\260.tid" "b/tiddlers/\345\210\235\347\255\211\345\207\275\346\225\260.tid"
index 8958d9cb..0c15feb9 100644
--- "a/tiddlers/\345\210\235\347\255\211\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\345\210\235\347\255\211\345\207\275\346\225\260.tid"
@@ -1,9 +1,9 @@
 caption: 初等函数
 created: 20191122085125991
 creator: miRoox
-modified: 20240822095308626
+modified: 20240905093954306
 modifier: miRoox
-tags: TODO 函数 分类
+tags: TODO 数学：函数 分类
 title: 初等函数
 tmap.id: c1e73f38-d7e1-4eb9-98fc-81aed1c187de
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\345\210\260\350\276\276\345\237\237.tid" "b/tiddlers/\345\210\260\350\276\276\345\237\237.tid"
new file mode 100644
index 00000000..4bcdff78
--- /dev/null
+++ "b/tiddlers/\345\210\260\350\276\276\345\237\237.tid"
@@ -0,0 +1,13 @@
+aliases: 陪域 余定义域 上域 终域 共变域 目标集
+created: 20240905094300485
+creator: miRoox
+modified: 20240905095048908
+modifier: miRoox
+tags: 集合
+title: 到达域
+tmap.id: 9b1b6968-896b-4d6d-80aa-79cb1a47cdd9
+type: text/vnd.tiddlywiki
+
+''到达域''（Codomain），或称为''陪域''、''余定义域''、''上域''、''终域''、''共变域''、''目标集''。给定[[映射]]$$f:A\to B$$，其中$$B$$被称为$$f$$的到达域。
+
+$$f$$的[[值域]]是到达域的一个[[子集]]。若$$f$$是一个[[满射]]，则其到达域和值域相[[等|外延公理]]。
\ No newline at end of file
diff --git "a/tiddlers/\345\215\225\345\260\204.tid" "b/tiddlers/\345\215\225\345\260\204.tid"
new file mode 100644
index 00000000..547dc08d
--- /dev/null
+++ "b/tiddlers/\345\215\225\345\260\204.tid"
@@ -0,0 +1,17 @@
+aliases: 一对一的
+created: 20240905130905651
+creator: miRoox
+modified: 20240905144141786
+modifier: miRoox
+tags: 映射
+title: 单射
+tmap.id: e55e5e39-e98e-48c1-9530-9e89f00117bb
+type: text/vnd.tiddlywiki
+
+[[映射]]$$f:A\to B$$若满足
+
+$$
+\forall y\in B,\forall x\in A,\forall w\in A, (x,y)\in f\land (w,y)\in f \rightarrow x=w
+$$
+
+则$$f$$被称为是''一对一的''（one-to-one）或者''单射''（injection）
diff --git "a/tiddlers/\345\217\214\345\260\204.tid" "b/tiddlers/\345\217\214\345\260\204.tid"
new file mode 100644
index 00000000..b3fd5031
--- /dev/null
+++ "b/tiddlers/\345\217\214\345\260\204.tid"
@@ -0,0 +1,19 @@
+aliases: 一一对应
+created: 20240905132939295
+creator: miRoox
+modified: 20240905134357448
+modifier: miRoox
+tags: TODO 映射
+title: 双射
+tmap.id: f70e3bdf-98e0-4f97-bc76-8d2c30d29306
+type: text/vnd.tiddlywiki
+
+[[映射]]$$f:A\to B$$若满足
+
+$$
+(\forall y\in B,\exists! x\in A, f(x)=y)\land(\forall x\in A,\exists! y\in B,f(x)=y)
+$$
+
+则$$f$$是一个''双射''（bijection）。即，双射$$f$$在两[[集合]]间建立了''一一对应''[[关系|?]]。
+
+等价的，双射即满足既是[[单射]]又是[[满射]]。
diff --git "a/tiddlers/\345\217\230\346\215\242.tid" "b/tiddlers/\345\217\230\346\215\242.tid"
index 3c569351..956509fc 100644
--- "a/tiddlers/\345\217\230\346\215\242.tid"
+++ "b/tiddlers/\345\217\230\346\215\242.tid"
@@ -1,11 +1,11 @@
 caption: 变换
 created: 20191010111018304
 creator: miRoox
-modified: 20240829153826087
+modified: 20240905085810500
 modifier: miRoox
-tags: TODO 数学 分类
+tags: 分类 映射
 title: 变换
 tmap.id: df06217b-4a6a-4843-86f8-cdf921202b22
 type: text/vnd.tiddlywiki
 
-! 变换
+如果[[映射]]$$f:A\to A$$，那么映射$$f$$也称是$$A$$上的''变换''。
diff --git "a/tiddlers/\345\217\245\346\263\225\345\220\216\346\211\277.tid" "b/tiddlers/\345\217\245\346\263\225\345\220\216\346\211\277.tid"
new file mode 100644
index 00000000..3e13aa3b
--- /dev/null
+++ "b/tiddlers/\345\217\245\346\263\225\345\220\216\346\211\277.tid"
@@ -0,0 +1,15 @@
+aliases: 句法蕴涵 蕴涵
+created: 20240905145200711
+creator: miRoox
+modified: 20240905151955730
+modifier: miRoox
+tags: TODO 逻辑
+title: 句法后承
+tmap.id: fe632fb7-af54-4fe9-9e20-b6592dacd587
+type: text/vnd.tiddlywiki
+
+''句法后承''（syntactic consequence），也叫''句法蕴涵''。符号为$$\vdash$$。
+
+句法后承的用法和[[语义后承]]类似，也是连接一个[[命题]][[集合]]和一个命题。$$A\vdash x$$表示$$x$$可以通过[[句法证明]]的方式从命题集$$A$$得出。
+
+存在一个[[证明]]，是一个命题[[序列]]，使得每个命题要么是[[公理]]，要么是$$A$$中的命题，要么是要么是有它们作为[[前提]]通过证明规则得到的命题，从而可以得到最终的[[结论]]是$$x$$。
diff --git "a/tiddlers/\345\224\257\344\270\200\345\255\230\345\234\250\351\207\217\345\214\226.tid" "b/tiddlers/\345\224\257\344\270\200\345\255\230\345\234\250\351\207\217\345\214\226.tid"
new file mode 100644
index 00000000..ed60b397
--- /dev/null
+++ "b/tiddlers/\345\224\257\344\270\200\345\255\230\345\234\250\351\207\217\345\214\226.tid"
@@ -0,0 +1,17 @@
+aliases: 唯一量化 唯一存在 唯一
+created: 20240905141402517
+creator: miRoox
+modified: 20240905142409269
+modifier: miRoox
+tags: 谓词逻辑 TODO
+title: 唯一存在量化
+tmap.id: 62b66d29-07bd-4c05-ab4c-2c57f7a79e21
+type: text/vnd.tiddlywiki
+
+''唯一量化''或''唯一存在量化''，尝试形式化对于“精确”的一个事物，或对于精确的特定类型的一个事物为真的某个事物的概念。在符号逻辑中，唯一存在量词$$\exists!$$是用来指示唯一量化的符号。
+
+唯一量化通常被认为是[[全称量化]]、[[存在量化]]和[[恒等关系]]的组合。即$$\exists!x\in A,P(x)$$等价于
+
+$$
+\exist x\in A,P(x)\land(\forall y\in A,P(y)\implies x=y)
+$$
diff --git "a/tiddlers/\345\237\272\346\225\260.tid" "b/tiddlers/\345\237\272\346\225\260.tid"
index 884e20e6..8489fb04 100644
--- "a/tiddlers/\345\237\272\346\225\260.tid"
+++ "b/tiddlers/\345\237\272\346\225\260.tid"
@@ -1,7 +1,7 @@
 aliases: 势
 created: 20240612120715192
 creator: miRoox
-modified: 20240820094936251
+modified: 20240905143253915
 modifier: miRoox
 tags: 集合论
 title: 基数
@@ -10,4 +10,4 @@ type: text/vnd.tiddlywiki
 
 ''基数''（Cardinality），也称''势''，刻画了[[集合]]的大小。对于[[有限集]]，势为其元素的数量，是一个[[自然数]]。对于[[无限集]]，它可以视为对自然数''计数''意义上的扩展。对于集合$$A$$，其势表示为$$|A|$$。
 
-如果存在着从集合$$A$$到集合$$B$$的[[双射]]，那么集合$$A$$与集合$$B$$[[等势]]，记为$$A\sim B$$。
\ No newline at end of file
+如果[[存在|存在量化]]着从集合$$A$$到集合$$B$$的[[双射]]，那么集合$$A$$与集合$$B$$[[等势]]，记为$$A\sim B$$。
\ No newline at end of file
diff --git "a/tiddlers/\345\244\232\351\241\271\345\274\217.tid" "b/tiddlers/\345\244\232\351\241\271\345\274\217.tid"
index d5743b4a..63ca4731 100644
--- "a/tiddlers/\345\244\232\351\241\271\345\274\217.tid"
+++ "b/tiddlers/\345\244\232\351\241\271\345\274\217.tid"
@@ -1,8 +1,8 @@
 created: 20240821145222913
 creator: miRoox
-modified: 20240822095346978
+modified: 20240905093954312
 modifier: miRoox
-tags: 初等函数 TODO 函数 整式 初等代数
+tags: 初等函数 TODO 数学：函数 整式 初等代数
 title: 多项式
 tmap.id: 816c94b9-9df9-40c4-9ac1-0f01cfdf12ed
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\345\255\230\345\234\250\351\207\217\345\214\226.tid" "b/tiddlers/\345\255\230\345\234\250\351\207\217\345\214\226.tid"
new file mode 100644
index 00000000..ca265cdc
--- /dev/null
+++ "b/tiddlers/\345\255\230\345\234\250\351\207\217\345\214\226.tid"
@@ -0,0 +1,13 @@
+aliases: 存在
+created: 20240905135327559
+creator: miRoox
+modified: 20240905143017825
+modifier: miRoox
+tags: 谓词逻辑 TODO
+title: 存在量化
+tmap.id: e8fe317e-f01a-4479-afb0-47774d461f02
+type: text/vnd.tiddlywiki
+
+在[[谓词逻辑]]中，''存在量化''是对[[论域]]内至少一个成员的性质或关系的论断。在符号逻辑中，存在量词$$\exists$$是用来指示存在量化的符号（倒转的''E''xists首字母）。
+
+存在量化可以看作是对[[逻辑析取]]的一种泛化。考虑$$\exists x\in A, P(x)$$，可以等价地表示为形式$$\bigvee_{x\in A}P(x)$$
diff --git "a/tiddlers/\345\256\232\344\271\211\345\237\237.tid" "b/tiddlers/\345\256\232\344\271\211\345\237\237.tid"
new file mode 100644
index 00000000..bfe7605c
--- /dev/null
+++ "b/tiddlers/\345\256\232\344\271\211\345\237\237.tid"
@@ -0,0 +1,11 @@
+aliases: 原像集
+created: 20240905093021296
+creator: miRoox
+modified: 20240905094215916
+modifier: miRoox
+tags: 集合
+title: 定义域
+tmap.id: 0319722a-dbd1-4952-9baa-1e9e9a8ecf21
+type: text/vnd.tiddlywiki
+
+''定义域''（Domain），是[[映射]]自变量所有可取值的[[集合]]。给定$$f:A\to B$$，其中$$A$$被称为$$f$$的定义域，通常记作$$D(f)$$。
diff --git "a/tiddlers/\345\256\236\350\264\250\350\225\264\345\220\253.tid" "b/tiddlers/\345\256\236\350\264\250\350\225\264\346\266\265.tid"
similarity index 78%
rename from "tiddlers/\345\256\236\350\264\250\350\225\264\345\220\253.tid"
rename to "tiddlers/\345\256\236\350\264\250\350\225\264\346\266\265.tid"
index f9f89de9..c905a234 100644
--- "a/tiddlers/\345\256\236\350\264\250\350\225\264\345\220\253.tid"
+++ "b/tiddlers/\345\256\236\350\264\250\350\225\264\346\266\265.tid"
@@ -1,9 +1,10 @@
+aliases: 实质条件 蕴涵算子 蕴涵
 created: 20240612044330258
 creator: miRoox
-modified: 20240904050343899
+modified: 20240905144920534
 modifier: miRoox
 tags: 逻辑运算 二元运算 布尔代数
-title: 实质蕴含
+title: 实质蕴涵
 tmap.id: d36d6952-b6a8-495b-89c6-c67f0b39cc56
 type: text/vnd.tiddlywiki
 
@@ -15,7 +16,7 @@ type: text/vnd.tiddlywiki
 
 这里的$$A$$和$$B$$是陈述变量（可以被语言中任何有意义的可表示的句子所替代）。在这种形式的陈述中，第一项这里的$$A$$，叫做[[前件]]；第二项这里的$$B$$，叫做[[后件]]。
 
-这个算子使用右箭头“$$\rightarrow$$”（有时用符号“$$\Rightarrow$$”或“$$\supset$$”）来符号化，其语义''仅为''“如果$$A$$为[[真]]，那么$$B$$亦为真”。
+这个算子使用右箭头“$$\rightarrow$$”（有时用符号“$$\implies$$”或“$$\supset$$”）来符号化，其语义''仅为''“如果$$A$$为[[真]]，那么$$B$$亦为真”。
 
 !! 真值表
 
diff --git "a/tiddlers/\345\257\271\346\225\260\345\207\275\346\225\260.tid" "b/tiddlers/\345\257\271\346\225\260\345\207\275\346\225\260.tid"
index 552638eb..378467c5 100644
--- "a/tiddlers/\345\257\271\346\225\260\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\345\257\271\346\225\260\345\207\275\346\225\260.tid"
@@ -1,8 +1,8 @@
 caption: 对数函数
 created: 20191010113121177
-modified: 20230316103711655
+modified: 20240905093954312
 modifier: miRoox
-tags: TODO 初等函数 函数
+tags: TODO 初等函数 数学：函数
 title: 对数函数
 tmap.id: 9082f15c-006f-4a80-bbb2-56522f22d375
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\345\271\263\351\235\242\345\207\240\344\275\225.tid" "b/tiddlers/\345\271\263\351\235\242\345\207\240\344\275\225.tid"
index 87f3b574..65f2f957 100644
--- "a/tiddlers/\345\271\263\351\235\242\345\207\240\344\275\225.tid"
+++ "b/tiddlers/\345\271\263\351\235\242\345\207\240\344\275\225.tid"
@@ -1,9 +1,9 @@
 caption: 平面几何
 created: 20191003122652695
 creator: miRoox
-modified: 20230321072709794
+modified: 20240905090007798
 modifier: miRoox
-tags: 几何学 TODO 数学 分类
+tags: 几何学 TODO 分类
 title: 平面几何
 tmap.id: 79411f8a-7f5c-4dc4-97b2-567c1d69937d
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\345\272\217\345\210\227.tid" "b/tiddlers/\345\272\217\345\210\227.tid"
index e39fd18e..e9787c08 100644
--- "a/tiddlers/\345\272\217\345\210\227.tid"
+++ "b/tiddlers/\345\272\217\345\210\227.tid"
@@ -1,10 +1,10 @@
 created: 20240806092238466
 creator: miRoox
-modified: 20240822095645310
+modified: 20240905093954338
 modifier: miRoox
-tags: 函数
+tags: 数学：函数
 title: 序列
 tmap.id: f75996a5-ff68-41cd-b34b-202000493d28
 type: text/vnd.tiddlywiki
 
-''序列''（Sequences）在数学中是指被排成一列的数学实体（如[[数字]]、[[函数]]），其中常见的就是排成一列的数，即[[数列]]。
\ No newline at end of file
+''序列''（Sequences）在数学中是指被排成一列的数学实体（如[[数字]]、[[函数|数学：函数]]），其中常见的就是排成一列的数，即[[数列]]。
\ No newline at end of file
diff --git "a/tiddlers/\346\201\222\347\255\211\345\205\263\347\263\273.tid" "b/tiddlers/\346\201\222\347\255\211\345\205\263\347\263\273.tid"
index eefa8e81..0b14580e 100644
--- "a/tiddlers/\346\201\222\347\255\211\345\205\263\347\263\273.tid"
+++ "b/tiddlers/\346\201\222\347\255\211\345\205\263\347\263\273.tid"
@@ -1,6 +1,7 @@
+aliases: 恒等
 created: 20240612034744777
 creator: miRoox
-modified: 20240612035138012
+modified: 20240905095022314
 modifier: miRoox
 tags: 二元关系 等价关系
 title: 恒等关系
diff --git "a/tiddlers/\346\201\222\347\255\211\345\207\275\346\225\260.tid" "b/tiddlers/\346\201\222\347\255\211\345\207\275\346\225\260.tid"
index a77ff68d..0922ed30 100644
--- "a/tiddlers/\346\201\222\347\255\211\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\346\201\222\347\255\211\345\207\275\346\225\260.tid"
@@ -1,10 +1,10 @@
 created: 20240821144750663
 creator: miRoox
-modified: 20240822111020818
+modified: 20240905093954312
 modifier: miRoox
-tags: 初等函数 TODO 函数
+tags: 初等函数 TODO 数学：函数
 title: 恒等函数
 tmap.id: ffa1de33-850e-4c84-8a30-5b8391e7a45f
 type: text/vnd.tiddlywiki
 
-''恒等函数''（Identity function）是对于传回和其输入值相同的[[函数]]的称呼，是[[恒等关系]]的一种特例。换句话说，恒等函数即函数$$f(x)=x$$。
\ No newline at end of file
+''恒等函数''（Identity function）是对于传回和其输入值相同的[[函数|数学：函数]]的称呼，是[[恒等关系]]的一种特例。换句话说，恒等函数即函数$$f(x)=x$$。
\ No newline at end of file
diff --git "a/tiddlers/\346\214\207\346\225\260\345\207\275\346\225\260.tid" "b/tiddlers/\346\214\207\346\225\260\345\207\275\346\225\260.tid"
index 2392f53a..f847a910 100644
--- "a/tiddlers/\346\214\207\346\225\260\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\346\214\207\346\225\260\345\207\275\346\225\260.tid"
@@ -1,8 +1,8 @@
 caption: 指数函数
 created: 20191010113014096
-modified: 20230316103711663
+modified: 20240905093954338
 modifier: miRoox
-tags: TODO 初等函数 函数
+tags: TODO 初等函数 数学：函数
 title: 指数函数
 tmap.id: eb18393b-ea8f-4cf0-8531-0870456a51a0
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\346\225\260\345\255\246.tid" "b/tiddlers/\346\225\260\345\255\246.tid"
index bcbbfa96..da9ef024 100644
--- "a/tiddlers/\346\225\260\345\255\246.tid"
+++ "b/tiddlers/\346\225\260\345\255\246.tid"
@@ -2,9 +2,11 @@ caption: 数学
 created: 20190918101252637
 creator: miRoox
 list: 数理逻辑 集合论 平面几何 线性代数 微积分 实分析 复分析 矩阵分析 张量分析 泛函分析 概率论 数理统计 运筹学 群论 范畴论 计算数学 误差与不确定度分析 信号-系统-控制
-modified: 20240822061132445
+modified: 20240905090934687
 modifier: miRoox
 tags: TableOfContents 分类
 title: 数学
 tmap.id: 17f47890-13dd-4793-9a82-6ee20535ad15
-type: text/vnd.tiddlywiki
\ No newline at end of file
+type: text/vnd.tiddlywiki
+
+''数学''是关于数与空间、结构、变化等各种与数相关的各种关系的一门学问，此学门和[[逻辑]]及各种[[科学|自然科学]]密切相关。
\ No newline at end of file
diff --git "a/tiddlers/\346\225\260\345\255\246\357\274\232\345\207\275\346\225\260.tid" "b/tiddlers/\346\225\260\345\255\246\357\274\232\345\207\275\346\225\260.tid"
new file mode 100644
index 00000000..8d3fe1a0
--- /dev/null
+++ "b/tiddlers/\346\225\260\345\255\246\357\274\232\345\207\275\346\225\260.tid"
@@ -0,0 +1,13 @@
+aliases: 函数
+caption: 函数
+created: 20190930081956510
+creator: miRoox
+list: 初等函数 正交多项式
+modified: 20240905131514688
+modifier: miRoox
+tags: TODO 数学 分类 映射
+title: 数学：函数
+tmap.id: c0e9632a-c1e9-4e3d-8493-632fa9fe1cb2
+type: text/vnd.tiddlywiki
+
+''函数''最初是一个变化的量如何依赖另一个量的理想化。现在多数情况下等同于[[映射]]。
\ No newline at end of file
diff --git "a/tiddlers/\346\225\264\345\274\217.tid" "b/tiddlers/\346\225\264\345\274\217.tid"
index c80b0e5a..7413867d 100644
--- "a/tiddlers/\346\225\264\345\274\217.tid"
+++ "b/tiddlers/\346\225\264\345\274\217.tid"
@@ -1,8 +1,8 @@
 created: 20240821145819276
 creator: miRoox
-modified: 20240822055017741
+modified: 20240905093954338
 modifier: miRoox
-tags: 初等函数 函数 TODO 代数式 初等代数
+tags: 初等函数 数学：函数 TODO 代数式 初等代数
 title: 整式
 tmap.id: 2e6102be-dda1-485b-b718-e570427f731d
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\346\230\240\345\260\204.tid" "b/tiddlers/\346\230\240\345\260\204.tid"
index e3b2ddbe..2314cab3 100644
--- "a/tiddlers/\346\230\240\345\260\204.tid"
+++ "b/tiddlers/\346\230\240\345\260\204.tid"
@@ -1,8 +1,34 @@
 created: 20240612041020243
 creator: miRoox
-modified: 20240612041032994
+modified: 20240905143551057
 modifier: miRoox
-tags: 二元关系 TODO
+tags: 二元关系
 title: 映射
 tmap.id: afdaf5b5-4507-400f-aa40-6ac75755bad3
-type: text/vnd.tiddlywiki
\ No newline at end of file
+type: text/vnd.tiddlywiki
+
+''映射''（map）是[[函数|数学：函数]]概念的推广，是一种[[关系|?]]。
+
+对于两个非[[空|空集]][[集合]]$$A$$和$$B$$，若[[存在|存在量化]]一个对应关系$$f$$，使得每个$$A$$中的元素$$x\in A$$，都[[存在唯一|唯一存在量化]]的$$y\in B$$与之对应，则称$$f$$是$$A$$到$$B$$的一个''映射''，记作：
+
+$$
+\begin{align*}
+f:\ &A\to B\\
+&x\mapsto y = f(x)
+\end{align*}
+$$
+
+其中
+
+* 第一个式子表示该映射$$f$$是从$$A$$到$$B$$的，第二个表明了$$f$$的对应关系。
+* $$y=f(x)$$称为$$x$$对应的[[像|映射的像]]，$$x$$称为$$y$$的[[原像|映射的原像]]。
+* $$A$$称为$$f$$的[[定义域]]。
+* $$B$$称为$$f$$的[[到达域]]。
+
+在[[公理化集合论]]的视角下，映射是一类特殊的[[二元关系]]。若二元关系$$f=(A,B,G(f))$$满足
+
+$$
+\forall x\in A,\forall y\in B,\forall z\in B, (x,y)\in G(f)\land (x,z)\in G(f) \implies y=z
+$$
+
+则称$$f$$是一个映射。即每个输入值只能对应唯一的输出值。
diff --git "a/tiddlers/\346\230\240\345\260\204\347\232\204\345\203\217.tid" "b/tiddlers/\346\230\240\345\260\204\347\232\204\345\203\217.tid"
new file mode 100644
index 00000000..7befabef
--- /dev/null
+++ "b/tiddlers/\346\230\240\345\260\204\347\232\204\345\203\217.tid"
@@ -0,0 +1,11 @@
+aliases: 像 像点
+caption: 像
+created: 20240905111708799
+creator: miRoox
+modified: 20240905112043543
+modifier: miRoox
+title: 映射的像
+tmap.id: 4bf1fd57-dfcd-451c-b75a-5ebe558b1eea
+type: text/vnd.tiddlywiki
+
+对于[[映射]]$$f:A\to B$$，$$x\in A$$的''像''即$$y=f(x)$$。
\ No newline at end of file
diff --git "a/tiddlers/\346\230\240\345\260\204\347\232\204\345\216\237\345\203\217.tid" "b/tiddlers/\346\230\240\345\260\204\347\232\204\345\216\237\345\203\217.tid"
new file mode 100644
index 00000000..3369ecf6
--- /dev/null
+++ "b/tiddlers/\346\230\240\345\260\204\347\232\204\345\216\237\345\203\217.tid"
@@ -0,0 +1,14 @@
+aliases: 原像
+caption: 原像
+created: 20240905112111278
+creator: miRoox
+modified: 20240905132109439
+modifier: miRoox
+tags: 
+title: 映射的原像
+tmap.id: 0c5ef020-fce9-4941-b860-c823f5e85700
+type: text/vnd.tiddlywiki
+
+对于[[映射]]$$f:A\to B$$，$$y\in B$$的''原像''即满足$$y=f(x)$$的$$x$$。
+
+对于$$y\in B$$，可能不存在原像，也可能存在多个原像。
\ No newline at end of file
diff --git "a/tiddlers/\346\233\277\344\273\243\345\205\254\347\220\206\346\250\241\345\274\217.tid" "b/tiddlers/\346\233\277\344\273\243\345\205\254\347\220\206\346\250\241\345\274\217.tid"
index 002b009a..76a9e89d 100644
--- "a/tiddlers/\346\233\277\344\273\243\345\205\254\347\220\206\346\250\241\345\274\217.tid"
+++ "b/tiddlers/\346\233\277\344\273\243\345\205\254\347\220\206\346\250\241\345\274\217.tid"
@@ -1,13 +1,13 @@
 created: 20240622143537808
 creator: miRoox
-modified: 20240827034332327
+modified: 20240905111441128
 modifier: miRoox
 tags: 策梅洛-弗兰克尔集合论 公理 公理模式
 title: 替代公理模式
 tmap.id: fa83f121-7891-461b-803a-448d6fd2e1b4
 type: text/vnd.tiddlywiki
 
-''替代公理模式''（axiom schema of replacement）本质上断言一个[[集合]]在一个[[映射]]（[[泛函谓词]]）下的[[像]]也是一个集合。
+''替代公理模式''（axiom schema of replacement）本质上断言一个[[集合]]在一个[[映射]]（[[泛函谓词]]）下的[[像|映射的像]]也是一个集合。
 
 $$
 
diff --git "a/tiddlers/\346\234\211\345\272\217\345\257\271.tid" "b/tiddlers/\346\234\211\345\272\217\345\257\271.tid"
index 6249a3e3..52bc8904 100644
--- "a/tiddlers/\346\234\211\345\272\217\345\257\271.tid"
+++ "b/tiddlers/\346\234\211\345\272\217\345\257\271.tid"
@@ -1,7 +1,7 @@
 aliases: 二元组 序对 对 pair
 created: 20240612025452005
 creator: miRoox
-modified: 20240903061109375
+modified: 20240905144907312
 modifier: miRoox
 tags: 元组
 title: 有序对
@@ -30,4 +30,4 @@ $$
 (\exists \ Y\in p:x\in Y)\land (\forall \ Y_{1}\in p,\forall \ Y_{2}\in p:Y_{1}\neq Y_{2}\rightarrow (x\notin Y_{1}\lor x\notin Y_{2}))
 $$
 
-注意这个定义对于有序对$$p = (x,x) = \{ \{x\}, \{x,x\} \} = \{ \{x\}, \{x\} \} = \{ \{x\} \}$$仍是有效的，此时$$\forall \ Y_{1}\in p,\forall \ Y_{2}\in p,Y_{1}\neq Y_{2}$$必定为假，因此[[实质蕴含]]的结果为真。
+注意这个定义对于有序对$$p = (x,x) = \{ \{x\}, \{x,x\} \} = \{ \{x\}, \{x\} \} = \{ \{x\} \}$$仍是有效的，此时$$\forall \ Y_{1}\in p,\forall \ Y_{2}\in p,Y_{1}\neq Y_{2}$$必定为假，因此[[实质蕴涵]]的结果为真。
diff --git "a/tiddlers/\346\255\243\344\272\244\345\244\232\351\241\271\345\274\217.tid" "b/tiddlers/\346\255\243\344\272\244\345\244\232\351\241\271\345\274\217.tid"
index dbd1a302..b9bfd6f1 100644
--- "a/tiddlers/\346\255\243\344\272\244\345\244\232\351\241\271\345\274\217.tid"
+++ "b/tiddlers/\346\255\243\344\272\244\345\244\232\351\241\271\345\274\217.tid"
@@ -1,9 +1,9 @@
 caption: 正交多项式
 created: 20191122085248335
 creator: miRoox
-modified: 20230316103711663
+modified: 20240905093954338
 modifier: miRoox
-tags: TODO 函数
+tags: TODO 数学：函数
 title: 正交多项式
 tmap.id: 05726760-7787-455a-a4f8-6516da324047
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\346\273\241\345\260\204.tid" "b/tiddlers/\346\273\241\345\260\204.tid"
new file mode 100644
index 00000000..95f68697
--- /dev/null
+++ "b/tiddlers/\346\273\241\345\260\204.tid"
@@ -0,0 +1,19 @@
+aliases: 到上的 盖射
+created: 20240905131549196
+creator: miRoox
+modified: 20240905132656337
+modifier: miRoox
+tags: 映射
+title: 满射
+tmap.id: 71d55de2-a5c5-47be-9f5e-2ea5123f5208
+type: text/vnd.tiddlywiki
+
+[[映射]]$$f:A\to B$$若满足
+
+$$
+\forall y\in B,\exists x\in A, f(x)=y
+$$
+
+则称$$f$$是''满射''或''盖射''（surjection，onto）。
+
+亦即，$$f$$是满射时，其[[值域]]$$f(A)$$和[[到达域]]$$B$$相等。
diff --git "a/tiddlers/\347\213\204\346\213\211\345\205\213\316\264\345\207\275\346\225\260.tid" "b/tiddlers/\347\213\204\346\213\211\345\205\213\316\264\345\207\275\346\225\260.tid"
index 78ce5b64..5740f903 100644
--- "a/tiddlers/\347\213\204\346\213\211\345\205\213\316\264\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\347\213\204\346\213\211\345\205\213\316\264\345\207\275\346\225\260.tid"
@@ -2,9 +2,9 @@ aliases: 单位脉冲 狄拉克函数 δ函数
 caption: δ函数
 created: 20191010113520679
 creator: miRoox
-modified: 20240822120501237
+modified: 20240905093954306
 modifier: miRoox
-tags: TODO 广义函数 函数
+tags: TODO 广义函数 数学：函数
 title: 狄拉克δ函数
 tmap.id: d6e19896-3ed0-4d52-a95e-79363fec3b82
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\347\251\272\351\233\206\345\205\254\347\220\206.tid" "b/tiddlers/\347\251\272\351\233\206\345\205\254\347\220\206.tid"
index 9acbcff5..267cc815 100644
--- "a/tiddlers/\347\251\272\351\233\206\345\205\254\347\220\206.tid"
+++ "b/tiddlers/\347\251\272\351\233\206\345\205\254\347\220\206.tid"
@@ -1,13 +1,13 @@
 created: 20240822132034901
 creator: miRoox
-modified: 20240822144515621
+modified: 20240905143357361
 modifier: miRoox
 tags: 策梅洛-弗兰克尔集合论 公理
 title: 空集公理
 tmap.id: 69d57bc6-51d5-4e75-8fa8-2e16ac55b81b
 type: text/vnd.tiddlywiki
 
-空集公理说明了[[空集]]的存在性
+空集公理说明了[[空集]]的[[存在|存在量化]]性
 
 $$
 \exists A,\forall x,x\notin A
diff --git "a/tiddlers/\347\254\246\345\217\267\350\241\250.tid" "b/tiddlers/\347\254\246\345\217\267\350\241\250.tid"
index 490dcb8d..9f961cbf 100644
--- "a/tiddlers/\347\254\246\345\217\267\350\241\250.tid"
+++ "b/tiddlers/\347\254\246\345\217\267\350\241\250.tid"
@@ -1,6 +1,6 @@
 created: 20240806092602846
 creator: miRoox
-modified: 20240904144002036
+modified: 20240905152714376
 modifier: miRoox
 tags: TODO 附录
 title: 符号表
@@ -10,6 +10,18 @@ type: text/vnd.tiddlywiki
 本知识库中常用的特殊符号的含义。
 
 |! 符号| !含义 |
+| $$\lnot$$ | [[逻辑非]] |
+| $$\lor$$ | [[逻辑析取]] |
+| $$\land$$ | [[逻辑合取]] |
+| $$\forall$$ | [[全称量化]] |
+| $$\exists$$ | [[存在量化]] |
+| $$\exists!$$ | [[唯一存在量化]] |
+| $$\to$$ | [[实质蕴涵]] |
+|~| [[映射]] |
+|~| [[数学：函数]] |
+| $$\implies$$ | [[实质蕴涵]] |
+| $$\models$$ | [[语义后承]] |
+| $$\vdash$$ | [[句法后承]] |
 | $$\infty$$ | [[无限]] |
 | $$\mathrm{e}$$ | [[自然底数e]] |
 | $$\imath$$ | [[虚数单位]] |
diff --git "a/tiddlers/\347\255\211\345\212\277.tid" "b/tiddlers/\347\255\211\345\212\277.tid"
index 55bfda20..2e83f9fc 100644
--- "a/tiddlers/\347\255\211\345\212\277.tid"
+++ "b/tiddlers/\347\255\211\345\212\277.tid"
@@ -1,12 +1,12 @@
 created: 20240612121819511
 creator: miRoox
-modified: 20240820094936260
+modified: 20240905143219679
 modifier: miRoox
-tags: 基数 等价关系
+tags: 等价关系
 title: 等势
 tmap.id: 5a677d3c-66f7-47e9-ac07-70cc901b1894
 type: text/vnd.tiddlywiki
 
-如果存在着从集合$$A$$到集合$$B$$的[[双射]]，那么集合$$A$$与集合$$B$$等势，记为$$A\sim B$$。
+如果[[存在|存在量化]]着从集合$$A$$到集合$$B$$的[[双射]]，那么集合$$A$$与集合$$B$$''等势''，或者说它们有相同的[[基数]]，记为$$A\sim B$$。
 
 显然，等势是一个[[等价关系]]。
diff --git "a/tiddlers/\350\257\255\344\271\211\345\220\216\346\211\277.tid" "b/tiddlers/\350\257\255\344\271\211\345\220\216\346\211\277.tid"
new file mode 100644
index 00000000..736ad35b
--- /dev/null
+++ "b/tiddlers/\350\257\255\344\271\211\345\220\216\346\211\277.tid"
@@ -0,0 +1,13 @@
+aliases: 语义蕴涵 逻辑蕴涵 蕴涵
+created: 20240905144506520
+creator: miRoox
+modified: 20240905151411966
+modifier: miRoox
+tags: TODO 逻辑
+title: 语义后承
+tmap.id: 9d3db1b5-e8a5-4c9e-b52e-bb6b22fa4078
+type: text/vnd.tiddlywiki
+
+''语义后承''（semantic consequence），也叫''语义蕴涵''或者''逻辑蕴涵''（logical implication）。符号为$$\models$$。
+
+语义后承在一般情况下是连接一个[[命题]][[集合]]和一个命题。如果，在任何一种语义赋值下，“只要命题集合$$A$$中的每个集合均为真，那么$$x$$就一定为真”，则称$$x$$是$$A$$的语义后承，记作$$A\models x$$
\ No newline at end of file
diff --git "a/tiddlers/\350\264\235\345\241\224\345\207\275\346\225\260.tid" "b/tiddlers/\350\264\235\345\241\224\345\207\275\346\225\260.tid"
index 057c1a94..33db3d81 100644
--- "a/tiddlers/\350\264\235\345\241\224\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\350\264\235\345\241\224\345\207\275\346\225\260.tid"
@@ -1,8 +1,8 @@
 caption: 贝塔函数
 created: 20191010113422511
-modified: 20230316103711653
+modified: 20240905093954306
 modifier: miRoox
-tags: TODO 函数
+tags: TODO 数学：函数
 title: 贝塔函数
 tmap.id: 7fd0135e-b2cd-4d15-a359-ca5d6a3c0e10
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\350\264\235\345\241\236\345\260\224\345\207\275\346\225\260.tid" "b/tiddlers/\350\264\235\345\241\236\345\260\224\345\207\275\346\225\260.tid"
index bb92324c..ca4cc461 100644
--- "a/tiddlers/\350\264\235\345\241\236\345\260\224\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\350\264\235\345\241\236\345\260\224\345\207\275\346\225\260.tid"
@@ -1,8 +1,8 @@
 caption: 贝塞尔函数
 created: 20191010113651471
-modified: 20230316103711653
+modified: 20240905093954306
 modifier: miRoox
-tags: TODO 函数
+tags: TODO 数学：函数
 title: 贝塞尔函数
 tmap.id: 845fa865-436f-44b7-ac45-35933fbb2e8b
 type: text/vnd.tiddlywiki
diff --git "a/tiddlers/\350\264\250\346\225\260.tid" "b/tiddlers/\350\264\250\346\225\260.tid"
index 1974dea6..55179a80 100644
--- "a/tiddlers/\350\264\250\346\225\260.tid"
+++ "b/tiddlers/\350\264\250\346\225\260.tid"
@@ -1,11 +1,11 @@
 aliases: 素数
 created: 20240820094310351
 creator: miRoox
-modified: 20240820094641111
+modified: 20240905090207935
 modifier: miRoox
 tags: 数系 TODO
 title: 质数
 tmap.id: 7dbfc31c-b862-447a-8f54-b17d5f9371e8
 type: text/vnd.tiddlywiki
 
-''质数''，又称''素数''，指在大于1的[[自然数]]中，除了1和该数自身外，无法被其他自然数[[整除]]的数。大于1的自然数若不是素数，则称之为[[合数]]。
\ No newline at end of file
+''质数''，又称''素数''，指在大于[[1]]的[[自然数]]中，除了1和该数自身外，无法被其他自然数[[整除]]的数。大于1的自然数若不是素数，则称之为[[合数]]。
\ No newline at end of file
diff --git "a/tiddlers/\351\200\273\350\276\221\345\220\210\345\217\226.tid" "b/tiddlers/\351\200\273\350\276\221\345\220\210\345\217\226.tid"
new file mode 100644
index 00000000..c9bcea51
--- /dev/null
+++ "b/tiddlers/\351\200\273\350\276\221\345\220\210\345\217\226.tid"
@@ -0,0 +1,19 @@
+aliases: 逻辑与 合取 与
+created: 20240905140211300
+creator: miRoox
+modified: 20240905140717997
+modifier: miRoox
+tags: 逻辑运算 二元运算 布尔代数
+title: 逻辑合取
+tmap.id: b8bb07ac-88d9-4286-9392-2ecb06d7c7a9
+type: text/vnd.tiddlywiki
+
+''逻辑合取''（logical conjunction），也叫''逻辑与''（logical and）是一种二元的真值泛函的[[逻辑运算]]符，用$$\land$$表示。它满足当且仅当其两个变量的[[真值]]都为真时，其结果为真。
+
+!! 真值表
+
+| ! $$A$$ | ! $$B$$ |  !  $$A\land B$$ |
+| F | F |	 F |
+| F | T |	 T |
+| T | F |	 T |
+| T | T |	 T |
diff --git "a/tiddlers/\351\200\273\350\276\221\346\236\220\345\217\226.tid" "b/tiddlers/\351\200\273\350\276\221\346\236\220\345\217\226.tid"
new file mode 100644
index 00000000..5528ddc2
--- /dev/null
+++ "b/tiddlers/\351\200\273\350\276\221\346\236\220\345\217\226.tid"
@@ -0,0 +1,20 @@
+aliases: 逻辑或 析取 或
+created: 20240905135626940
+creator: miRoox
+modified: 20240905140706183
+modifier: miRoox
+tags: 逻辑运算 二元运算 布尔代数
+title: 逻辑析取
+tmap.id: 16e1ff7d-c606-4e19-b8ea-0280ab7244e4
+type: text/vnd.tiddlywiki
+
+''逻辑析取''（logical disjunction），也叫''逻辑或''（logical or）是一种二元的真值泛函的[[逻辑运算]]符，用$$\lor$$表示。它满足当且仅当其两个变量的[[真值]]都为假时，其结果为假。
+
+
+!! 真值表
+
+| ! $$A$$ | ! $$B$$ |  !  $$A\lor B$$ |
+| F | F |	 F |
+| F | T |	 T |
+| T | F |	 T |
+| T | T |	 T |
diff --git "a/tiddlers/\351\200\273\350\276\221\351\235\236.tid" "b/tiddlers/\351\200\273\350\276\221\351\235\236.tid"
index 69b21f66..ecd96f58 100644
--- "a/tiddlers/\351\200\273\350\276\221\351\235\236.tid"
+++ "b/tiddlers/\351\200\273\350\276\221\351\235\236.tid"
@@ -1,6 +1,6 @@
 created: 20240624141419048
 creator: miRoox
-modified: 20240624145330803
+modified: 20240905140648224
 modifier: miRoox
 tags: 逻辑运算 一元运算 布尔代数
 title: 逻辑非
@@ -14,3 +14,9 @@ type: text/vnd.tiddlywiki
 * $$\bar{A}$$
 * $$\lnot {A}$$
 * ~$${A}$$
+
+!! 真值表
+
+| ! $$A$$ | ! $$\lnot A$$ |
+| F | T |
+| T | F |
diff --git "a/tiddlers/\351\273\216\346\233\274\316\266\345\207\275\346\225\260.tid" "b/tiddlers/\351\273\216\346\233\274\316\266\345\207\275\346\225\260.tid"
index b990c17d..f6d63fce 100644
--- "a/tiddlers/\351\273\216\346\233\274\316\266\345\207\275\346\225\260.tid"
+++ "b/tiddlers/\351\273\216\346\233\274\316\266\345\207\275\346\225\260.tid"
@@ -1,8 +1,8 @@
 caption: ζ函数
 created: 20191010114043463
-modified: 20230316103711658
+modified: 20240905093954325
 modifier: miRoox
-tags: TODO 函数
+tags: TODO 数学：函数
 title: 黎曼ζ函数
 tmap.id: 9c5bf9e4-125e-452f-ace0-f0ce2d6e846c
 type: text/vnd.tiddlywiki