主要公开日志

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

• 2023年6月22日 (四) 12:19 Gsxab 留言 贡献创建了页面保存重言性 （创建页面，内容为“分类:逻辑演算 {{InfoBox |name=保存重言性 |eng_name=tautology-preserving |aliases=validity-preserving }} '''保存重言性'''('''truth-preserving''')指一个推理规则，应用于重言式时只能得到重言式。 反过来说，如果应用于可假的公式，即使在某个赋值下是真命题时，在这个赋值下对应的结果不一定是真命题； 但如果原公式在任意赋值下都是真命题，得到的结果也会在任…”）