主要公开日志

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

• 2025年11月7日 (五) 14:31 Gsxab 留言 贡献创建了页面成真指派、成假指派（命题逻辑） （创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:cheng2zhen1zhi3pai4cheng2jia3zhi3pai4}} {{#seo: |keywords=成真指派, 成假指派, 逻辑语义学 |description=本文详细介绍成了真指派（满足指派）和成假指派的定义、性质、计算方法，及其与主析取范式、主合取范式、可满足性问题的内在联系。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-07 }} {{InfoBox |name=成真指派 |en…”）