主要公开日志

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

• 2026年1月16日 (五) 09:19 Gsxab 留言 贡献创建了页面Gentzen 式自然演绎 （创建页面，内容为“分类:证明论{{DEFAULTSORT:gentzen shi4zi4ran2yan3yi4}} {{#seo: |keywords=根岑式自然演绎 |description=根岑式自然演绎是自然演绎系统的一种记号，本文介绍了这种记号的写法，以及用于命题逻辑、谓词逻辑时的推理规则。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2026-01-16 }} {{InfoBox |name=根岑式自然演绎 |eng_name=Gentzen's natural deduction |aliases=Gentzen…”）