主要公开日志

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

• 2023年5月20日 (六) 03:34 Gsxab 留言 贡献创建了页面置换（逻辑） （创建页面，内容为“{{InfoBox |name=置换 |eng_name=substitution |aliases=代入 }} {{InfoBox |name=置换 |eng_name=substitution instance |aliases=代入,instance }} {{InfoBox |name=置换规则 |eng_name=substitution rule }} '''置换'''('''substitution''')指将命题公式中的子公式替换为与之等值的公式，或指命题公式经替换后的公式。 '''置换规则'''('''substitution rule''')指置换前后两命题公式等值。 == 定义 == 对命题…”）