主要公开日志

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

• 2023年5月13日 (六) 14:27 Gsxab 留言 贡献创建了页面命题公式 （创建页面，内容为“{{InfoBox |name=命题公式 |eng_name=propositional formula |aliases=命题合式公式,propositional well-formed formula,合式公式,公式 }} '''命题公式'''指由命题变元、命题常量及逻辑联结词构成的形式合理的表达式。 == 定义 == '''命题合式公式'''('''propositional well-formed formula''')，简称'''合式公式'''或'''命题公式'''，或简称公式，以下列形式生成： # 命题变元和命题常量是命…”）