主要公开日志

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

• 2023年6月18日 (日) 10:34 Gsxab 留言 贡献创建了页面自然演绎系统 （创建页面，内容为“'''自然演绎系统'''是命题演算系统的一种，公理集合为空，对应地通过推理规则解释。 变换中允许引入假言推理规则。 == 常见规则 == 通常包括以下10条规则，通常称'''引入-消去规则'''或 '''intelim 规则'''。”）