主要公开日志

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

• 2023年7月1日 (六) 06:40 Gsxab 留言 贡献创建了页面命题语言 （创建页面，内容为“分类:命题逻辑 {{非标准称呼}} 命题语言('''propositional language''')指命题逻辑的形式语言，包括命题变元和逻辑联结词，也被称为 <math>\mathcal{L}_0</math>。 命题语言是对命题逻辑进行的形式语言理论的分析，对应的句子或公式就是命题公式。 == 形式语言定义 == 定义形式语言 <math>\mathcal{L}_0</math> 的字母表和规则如下： === 字母表 === <math>\mathca…”）