主要公开日志

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

• 2025年12月24日 (三) 12:41 Gsxab 留言 贡献创建了页面结构（谓词逻辑） （创建页面，内容为“分类:谓词逻辑{{DEFAULTSORT:jie2gou4}} {{#seo: |keywords=结构, 逻辑语义学 |description=本文介绍谓词逻辑中结构的定义、性质与应用，包括结构作为个体常项、函项、谓词符号对应到论域中个体及其关系的映射概念，其在谓词逻辑语义学中的作用。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2023-09-02 }} {{InfoBox |name=结构 |eng_name=structure |aliases…”）