相关更改

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

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

缩写列表：

新: 该编辑创建了新页面（见新页面列表）
小: 该编辑为小编辑
机: 该编辑由机器人执行
(±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:33		模板:谓词逻辑 6次更改历史 +250 [Gsxab （6×）]
					12:33 （当前 \| 之前） 0 Gsxab 留言贡献
					12:32 （当前 \| 之前） 0 Gsxab 留言贡献
					12:32 （当前 \| 之前） +165 Gsxab 留言贡献
					12:21 （当前 \| 之前） 0 Gsxab 留言贡献
					12:21 （当前 \| 之前） +78 Gsxab 留言贡献
					12:08 （当前 \| 之前） +7 Gsxab 留言贡献

12:09

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

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

			08:42		逻辑蕴涵 4次更改历史 +584 [Gsxab （4×）]
					08:42 （当前 \| 之前） 0 Gsxab 留言贡献
					08:22 （当前 \| 之前） −1 Gsxab 留言贡献
					08:13 （当前 \| 之前） +122 Gsxab 留言贡献
					05:01 （当前 \| 之前） +463 Gsxab 留言贡献

2026年1月8日 (星期四)

15:02

逻辑蕴涵差异历史 +712 Gsxab 留言贡献

			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:20

模板:谓词逻辑差异历史 0 Gsxab 留言贡献

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:26

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

03:25

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

2026年1月7日 (星期三)

08:35

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

08:23

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

2026年1月6日 (星期二)

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

15:41

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

2026年1月4日 (星期日)

			14:28		可自由代入（个体变项） 2次更改历史 +858 [Gsxab （2×）]
					14:28 （当前 \| 之前） +879 Gsxab 留言贡献
					11:21 （当前 \| 之前） −21 Gsxab 留言贡献

11:27

模板:谓词逻辑差异历史 +143 Gsxab 留言贡献

			09:03		易字 3次更改历史 +3,057 [Gsxab （3×）]
					09:03 （当前 \| 之前） +38 Gsxab 留言贡献
					08:37 （当前 \| 之前） −4 Gsxab 留言贡献
					08:19 （当前 \| 之前） +3,023 Gsxab 留言贡献

08:53

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

			06:47		Skolem 范式 2次更改历史 +3,258 [Gsxab （2×）]
					06:47 （当前 \| 之前） +26 Gsxab 留言贡献
					06:43 （当前 \| 之前） +3,232 Gsxab 留言贡献

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

			12:33		模板:谓词逻辑 6次更改历史 +250 [Gsxab （6×）]
					12:33 （当前 \| 之前） 0 Gsxab 留言贡献
					12:32 （当前 \| 之前） 0 Gsxab 留言贡献
					12:32 （当前 \| 之前） +165 Gsxab 留言贡献
					12:21 （当前 \| 之前） 0 Gsxab 留言贡献
					12:21 （当前 \| 之前） +78 Gsxab 留言贡献
					12:08 （当前 \| 之前） +7 Gsxab 留言贡献

			08:42		逻辑蕴涵 4次更改历史 +584 [Gsxab （4×）]
					08:42 （当前 \| 之前） 0 Gsxab 留言贡献
					08:22 （当前 \| 之前） −1 Gsxab 留言贡献
					08:13 （当前 \| 之前） +122 Gsxab 留言贡献
					05:01 （当前 \| 之前） +463 Gsxab 留言贡献

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

			09:03		易字 3次更改历史 +3,057 [Gsxab （3×）]
					09:03 （当前 \| 之前） +38 Gsxab 留言贡献
					08:37 （当前 \| 之前） −4 Gsxab 留言贡献
					08:19 （当前 \| 之前） +3,023 Gsxab 留言贡献