主要公开日志

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

• 2023年7月1日 (六) 08:33 Gsxab 留言 贡献创建了页面赋值（谓词逻辑） （创建页面，内容为“分类:证明论分类:模型论 {{InfoBox |name=赋值 |eng_name=assignment |aliases=指派 }} '''赋值'''/'''指派'''('''assignment''')是对谓词公式的非逻辑符号和个体变项取值。 即指定论域，并使其中所有个体常项、函项、谓词替换为论域上的具体对象后， 继续指定其中的个体变项的取值，或指定其中所有个体变项的取值。 == 定义 == ===…”）