主要公开日志

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

• 2023年6月3日 (六) 15:38 Gsxab 留言 贡献创建了页面变形规则 （创建页面，内容为“在命题逻辑推理中，使用的一些常见的重言式、重言等值公式（置换规则）、重言蕴含公式（推理规则）。 == 基本规则 == * '''同一律'''('''law of identity''') : <math>P \rightarrow P</math> * '''矛盾律'''('''law/principle of (non-)contradiction''', '''LNC''', '''PNC''') : <math>\lnot (P \land \lnot P)</math> * '''排中律'''('''law/principle of excluded middle'''…”）