主要公开日志

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

• 2023年7月2日 (日) 11:07 Gsxab 留言 贡献创建了页面分离规则 （创建页面，内容为“分类:证明论 {{InfoBox |name=分离规则 |eng_name=modus ponens |aliases=mp,mp rule,rule of detachment }} '''分离规则'''('''modus ponens''', '''rule of detachment''')指证明论中一个常见于各种推理系统的推理规则， 即<math>\phi, \phi \rightarrow \psi \vdash \psi</math>。 在希尔伯特系统中通常称为'''MP规则'''('''MP rule''')， 在自然推理系统中对应蕴含消除（<…”）