相关更改

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

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

缩写列表：

			新 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