主要公开日志

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

• 2026年1月9日 (五) 08:42 Gsxab 留言 贡献创建了页面逻辑等值 （创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:luo2ji2deng3zhi2}} {{#seo: |keywords=逻辑等值 |description=本文介绍谓词逻辑中逻辑等值关系的定义、性质，及其在模型论中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2026-01-09 }} {{InfoBox |name=逻辑等值 |eng_name=logical equivalence }} '''逻辑等值'''('''logical equivalence''')指两个谓词公式之间，在所有可能的赋…”）