相关更改

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

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

缩写列表：

			新 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

			新 08:42		逻辑等值 2次更改历史 +2,120 [Gsxab （2×）]
					08:42 （当前 \| 之前） +1 Gsxab 留言贡献
			新		08:42 （当前 \| 之前） +2,119 Gsxab 留言贡献（创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:luo2ji2deng3zhi2}} {{#seo: \|keywords=逻辑等值 \|description=本文介绍谓词逻辑中逻辑等值关系的定义、性质，及其在模型论中的重要性。 \|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} \|published_time=2026-01-09 }} {{InfoBox \|name=逻辑等值 \|eng_name=logical equivalence }} '''逻辑等值'''('''logical equivalence''')指两个谓词公式之间，在所有可能的赋…”）