相关更改

输入页面名称以查看链入（或链自）相关页面的更改。（要查看分类的成员，请输入分类:分类名称）。对您的监视列表上页面的更改以粗体显示。

最近更改选项显示过去1 | 3 | 7 | 14 | 30天的最后50 | 100 | 250 | 500个更改
隐藏注册用户 | 隐藏匿名用户 | 显示我的编辑 | 显示机器人 | 隐藏小编辑
显示2026年1月11日 (星期日) 21:41之后的新更改

缩写列表：

新: 该编辑创建了新页面（见新页面列表）
小: 该编辑为小编辑
机: 该编辑由机器人执行
(±123): 该页面字节数的前后变化

2026年1月9日 (星期五)

			新 14:57		置换定理（谓词逻辑） 3次更改历史 +1,771 [Gsxab （3×）]
					14:57 （当前 \| 之前） +753 Gsxab 留言贡献
					14:47 （当前 \| 之前） 0 Gsxab 留言贡献
			新		14:17 （当前 \| 之前） +1,018 Gsxab 留言贡献（创建页面，内容为“分类:谓词逻辑{{DEFAULTSORT:zhi4huan4ding4li3}} {{#seo: \|keywords=置换, 置换定理 \|description=本文介绍谓词逻辑中的置换，以及与置换相关的置换定理及其性质。 \|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} \|published_time=2026-01-09 }} {{InfoBox \|name=置换规则 \|eng_name=substitution rule \|aliases=置换定理 }} 置换指原子公式替换为其他公式的操作，谓…”）

12:09

易字变形差异历史 +62 Gsxab 留言贡献

			12:07		易字 2次更改历史 −1,135 [Gsxab （2×）]
					12:07 （当前 \| 之前） +17 Gsxab 留言贡献
					12:07 （当前 \| 之前） −1,152 Gsxab 留言贡献

			11:41		等项替换 5次更改历史 +135 [Gsxab （5×）]
					11:41 （当前 \| 之前） +30 Gsxab 留言贡献
					11:41 （当前 \| 之前） +19 Gsxab 留言贡献
					11:35 （当前 \| 之前） +27 Gsxab 留言贡献
					11:15 （当前 \| 之前） +34 Gsxab 留言贡献
					10:49 （当前 \| 之前） +25 Gsxab 留言贡献

2026年1月8日 (星期四)

			12:30		谓词语言 2次更改历史 −31 [Gsxab （2×）]
					12:30 （当前 \| 之前） 0 Gsxab 留言贡献（→形式语言定义）
					12:29 （当前 \| 之前） −31 Gsxab 留言贡献

12:27

赋值（谓词逻辑）差异历史 0 Gsxab 留言贡献（→对全体自由变量的赋值（Tarski 语义学））

12:27

结构（谓词逻辑）差异历史 0 Gsxab 留言贡献（→对全体非逻辑符号的解释（Tarski 语义学））

12:26

谓词公式差异历史 0 Gsxab 留言贡献（→定义）

			12:22		Tarski 真理定义 4次更改历史 +30 [Gsxab （4×）]
					12:22 （当前 \| 之前） 0 Gsxab 留言贡献（→真理定义（谓词逻辑））
					12:22 （当前 \| 之前） +20 Gsxab 留言贡献（→真理定义（谓词逻辑））
					12:22 （当前 \| 之前） +10 Gsxab 留言贡献（→真理定义（命题逻辑））
					12:21 （当前 \| 之前） 0 Gsxab 留言贡献（→真理定义（谓词逻辑））

08:33

逻辑蕴含差异历史 +55 Admin 留言贡献

08:30

函项差异历史 +271 Gsxab 留言贡献

			05:44		命题变元代入 2次更改历史 +426 [Gsxab （2×）]
					05:44 （当前 \| 之前） +17 Gsxab 留言贡献
					05:43 （当前 \| 之前） +409 Gsxab 留言贡献

			04:57		个体变项代入 4次更改历史 +500 [Gsxab （4×）]
					04:57 （当前 \| 之前） +257 Gsxab 留言贡献
					03:57 （当前 \| 之前） +85 Gsxab 留言贡献
					03:42 （当前 \| 之前） −8 Gsxab 留言贡献
					03:42 （当前 \| 之前） +166 Gsxab 留言贡献

新 03:35

可满足式（谓词逻辑）差异历史 +100 Gsxab 留言贡献（重定向页面至谓词公式分类#可满足式）标签：新重定向

新 03:33

不可满足式（谓词逻辑）差异历史 +106 Gsxab 留言贡献（重定向页面至谓词公式分类#不可满足式）标签：新重定向

新 03:30

仅可满足式（谓词逻辑）差异历史 +107 Gsxab 留言贡献（重定向页面至谓词公式分类#仅可满足式）标签：新重定向

新 03:26

有效式差异历史 +96 Gsxab 留言贡献（重定向页面至谓词公式分类#有效式）标签：新重定向

03:25

谓词公式分类差异历史 +53 Gsxab 留言贡献

03:24

等项替换差异历史 +52 Gsxab 留言贡献

2026年1月7日 (星期三)

11:01

等项替换差异历史 +348 Gsxab 留言贡献

09:12

等词差异历史 +1,258 Gsxab 留言贡献

08:46

结构（逻辑）差异历史 +24 Gsxab 留言贡献（已将重定向目标从解释（谓词逻辑）更改为结构（谓词逻辑））标签：已更改重定向目标

08:44

模型（逻辑）差异历史 +27 Gsxab 留言贡献（已将重定向目标从解释（谓词逻辑）更改为模型）标签：已更改重定向目标

08:43

原子公式差异历史 0 Gsxab 留言贡献

新 08:41

简单易字变形差异历史 +92 Gsxab 留言贡献（重定向页面至易字变形）标签：新重定向

08:35

易字变形差异历史 +512 Gsxab 留言贡献

08:23

易字差异历史 +340 Gsxab 留言贡献

2026年1月6日 (星期二)

15:59

易字式差异历史 −777 Gsxab 留言贡献（重定向页面至易字）标签：新重定向

			15:48		易字 2次更改历史 +195 [Gsxab （2×）]
					15:48 （当前 \| 之前） +156 Gsxab 留言贡献
					15:45 （当前 \| 之前） +39 Gsxab 留言贡献

15:41

可自由代入（个体变项）差异历史 −3 Gsxab 留言贡献

命名空间：	反选关联的命名空间
标签过滤：	反选
页面名称：	显示链到所给出的页面

			11:41		等项替换 5次更改历史 +135 [Gsxab （5×）]
					11:41 （当前 \| 之前） +30 Gsxab 留言贡献
					11:41 （当前 \| 之前） +19 Gsxab 留言贡献
					11:35 （当前 \| 之前） +27 Gsxab 留言贡献
					11:15 （当前 \| 之前） +34 Gsxab 留言贡献
					10:49 （当前 \| 之前） +25 Gsxab 留言贡献

			12:22		Tarski 真理定义 4次更改历史 +30 [Gsxab （4×）]
					12:22 （当前 \| 之前） 0 Gsxab 留言贡献（→真理定义（谓词逻辑））
					12:22 （当前 \| 之前） +20 Gsxab 留言贡献（→真理定义（谓词逻辑））
					12:22 （当前 \| 之前） +10 Gsxab 留言贡献（→真理定义（命题逻辑））
					12:21 （当前 \| 之前） 0 Gsxab 留言贡献（→真理定义（谓词逻辑））

			04:57		个体变项代入 4次更改历史 +500 [Gsxab （4×）]
					04:57 （当前 \| 之前） +257 Gsxab 留言贡献
					03:57 （当前 \| 之前） +85 Gsxab 留言贡献
					03:42 （当前 \| 之前） −8 Gsxab 留言贡献
					03:42 （当前 \| 之前） +166 Gsxab 留言贡献