主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2026年1月9日 (五) 12:26 Gsxab 留言 贡献创建了页面置换定理 （创建页面，内容为“分类:消歧义页面{{DEFAULTSORT:zhi4huan4ding4li3}} 本条目可能指代几种不同含义，见对应词条： * 命题公式的一个变形规则，见置换定理（命题逻辑）。 * 谓词公式的一个变形规则，见置换定理（谓词逻辑）。 另参见置换和排列。”）