主要公开日志

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

• 2026年1月9日 (五) 14:17 Gsxab 留言 贡献创建了页面置换定理（谓词逻辑） （创建页面，内容为“分类:谓词逻辑{{DEFAULTSORT:zhi4huan4ding4li3}} {{#seo: |keywords=置换, 置换定理 |description=本文介绍谓词逻辑中的置换，以及与置换相关的置换定理及其性质。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2026-01-09 }} {{InfoBox |name=置换规则 |eng_name=substitution rule |aliases=置换定理 }} 置换指原子公式替换为其他公式的操作，谓…”）