主要公开日志

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

• 2023年7月9日 (日) 06:55 Gsxab 留言 贡献创建了页面命题变元代入 （创建页面，内容为“分类:命题逻辑 {{InfoBox |name=代入 |eng_name=subtitution }} 对命题变元的'''代入'''('''subtitution''')指在一个命题公式中，将某个命题变元的全体出现，全部用另一个公式来替换的操作。 == 定义 == === 代入 === 从全体命题变元所构成的集合到全体公式所构成的集合的映射，称为一个'''代入'''('''substitution''')。 对于把 <math>p_1, \dots, p_n</math> 分别替…”）