主要公开日志

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

• 2023年7月8日 (六) 22:44 Gsxab 留言 贡献创建了页面可自由代入（个体变项） （创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=可自由代入 |eng_name= }} 一个个体变项的'''可自由代入'''指，对一个谓词公式，将其中某个个体变项的全部出现替换为另一个项时，不会影响其语义的代入。 实际上，影响语义的情况主要是指，新的项或其中某个个体变项，在代入后会落在某个作用在这一变项的量词的辖域内…”）