主要公开日志

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

• 2023年6月22日 (四) 12:52 Gsxab 留言 贡献创建了页面一致性 （创建页面，内容为“分类:逻辑演算 {{InfoBox |name=一致性 |eng_name=consistency }} '''一致性'''('''consistency''')指一个公理系统中，不会同时演绎出一对互为否定的定理。 也指一些前提不同时重言蕴含一对互为否定的结论。 通常的可演绎关系都会满足 IE 成立，因此也等价于：公理系统是一致的，当且仅当其所有定理的集合不是所有公式的集合…”）