主要公开日志

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

• 2023年6月10日 (六) 09:26 Gsxab 留言 贡献创建了页面证明、演绎 （创建页面，内容为“{{InfoBox |name=证明 |eng_name=proof }} {{InfoBox |name=演绎 |eng_name=deduction }} '''演绎'''('''deduction''')指某个推理系统的变形规则下，从一些前提到某一结论的一系列步骤。 '''证明'''('''proof''')指从空前提到某一结论的步骤。 对应地，这个步骤的存在性被称为'''可演绎'''('''deductible''')和'''可证明'''('''provable''')。 {{命题逻辑}}”）