主要公开日志

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

• 2025年3月10日 (一) 16:50 Gsxab 留言 贡献创建了页面存在推广 （创建页面，内容为“分类:证明论 {{InfoBox |name=存在推广 |eng_name=existential generalization |aliases=EG }} '''存在推广'''('''existential generalization''', 缩写 '''EG'')指证明论中一个常见于各种推理系统的推理规则， 即对任意谓词公式 <math>\varphi(x)</math> 和项 <math>t</math> ，有 <math>\varphi(t/x) \dashv \exists x \varphi \vdash </math> 。 这一规则将一个具体的针对某个项的命题…”）